An axiomatization of the algebra of Petri net concatenable processes

✍ Scribed by Vladimiro Sassone

• Publisher: Elsevier Science
• Year: 1996
• Tongue: English
• Weight: 867 KB
• Volume: 170
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(96)80709-2

✦ Synopsis

The concatenable processes of a Petri net N can be characterized abstractly as the arrows of a symmetric monoidal category ~(N). However, this is only a partial axiomatization, since it is based on a concrete, ad hoe chosen, category of symmetries Sym N.

In this paper we give a completely abstract characterization of the category of concatenable processes of N, thus yielding an axiomatic theory of the noninterleaving behaviour of Petri nets.