Article thumbnail

Validation Of Parallel Systems With Coloured Petri

By S. Haddad and J. M. Couvreur

Abstract

This paper presents the coloured Petri net model and the flows computation and the reduction theory we have developped for it. We show how coloured nets can model realistic parallel systems with the help of coloured domains and functions. Since the computation flows generates invariants family. it can be used in order to verify safeness properties. The reduction rules which transform the net into a smaller one with the same behaviour as the original one is a suitable tool for verifying the liveness properties. Two significant applications and their validation are given: a database management and the synchronization of two logical clocks

Year: 1988
OAI identifier: oai:CiteSeerX.psu:10.1.1.17.6737
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.lamsade.dauphine.fr... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.