Validation Of Parallel Systems With Coloured Petri

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

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)