Semi-Commutation and Deterministic Petri Nets

Semi-commutation rewriting systems have been introduced and investigated by Clerbout/Latteux [1]. Starting from those, the notions of semitraces, semi-commutative monoids and an order on those monoids are defined. Behaviours of Petri nets are represented by sets of semitraces. Using that tool, properties of Petri nets, mainly concerning determinism, are discussed. Deterministic Petri nets are characterized in terms of their configurations. The present approach is a generalization of the well-known Mazurkiewicz's [7] trace model.

[1]  Wolfgang Reisig,et al.  The Non-sequential Behavior of Petri Nets , 1983, Inf. Control..

[2]  Grzegorz Rozenberg Behaviour of Elementary Net Systems , 1986 .

[3]  Wojciech Penczek,et al.  Inevitability in diamond processes , 1990, RAIRO Theor. Informatics Appl..

[4]  Elöd Knuth,et al.  Semi-Commutations and Petri Nets , 1989, Theor. Comput. Sci..

[5]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[6]  Antoni W. Mazurkiewicz,et al.  Concurrency, Modularity, and Synchronization , 1989, MFCS.

[7]  Edward Ochmanski Semi-commutation for P-T Systems , 1989, Bull. EATCS.

[8]  M. Clerbout,et al.  Semi-commutations , 1987, Inf. Comput..

[9]  Wojciech Penczek,et al.  Concurrent Systems and Inevitability , 1989, Theor. Comput. Sci..