Parallel systems specitications with coloured Petri nets and algebraic specifications

We present a way of combining algebraic specifications and Petri nets for specifying parallel systems formally. The data structure of a system is algebraically specified while its behaviour, and especially the synchronization constraints, are specified by a Petri net-like schema. The semantics of a specification is defined as a class of coloured Petri nets.

[1]  Jean-Claude Raoult,et al.  Finiteness Results on Rewriting Systems , 1981, RAIRO Theor. Informatics Appl..

[2]  Daniel Schwabe,et al.  Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models , 1982, IEEE Transactions on Software Engineering.

[3]  Jacques Vautherin,et al.  Computation of flows for unary-predicates/transition-nets , 1984, European Workshop on Applications and Theory in Petri Nets.

[4]  Hartmut Ehrig,et al.  Equations and initial semantics , 1985 .

[5]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[6]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[7]  Jacques Vautherin.  Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs , 1985, Applications and Theory in Petri Nets.

[8]  James L. Peterson,et al.  A Note on Colored Petri Nets , 1980, Inf. Process. Lett..

[9]  Bernard Berthomieu,et al.  Algebraic Specification of Communication Protocols , 1981 .

[10]  Wolfgang Reisig,et al.  Petri Nets with Individual Tokens , 1982, Theor. Comput. Sci..

[11]  Wolfgang Reisig,et al.  CSP-programs with individual tokens , 1984, European Workshop on Applications and Theory in Petri Nets.

[12]  Kurt Lautenbach,et al.  S-Invariance in Predicate/Transition Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[13]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[14]  Eugene W. Stark.  Semaphore primitives and starvation-free mutual exclusion , 1982, JACM.

[15]  Bernd J. Krämer,et al.  Stepwise construction of non-sequential software systems using a net-based specification language , 1984, European Workshop on Applications and Theory in Petri Nets.

[16]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[17]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[18]  Jacques Vautherin.  Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles , 1985 .