An Axiomatization of the Algebra of Petri Net Concatenable Processes
The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $Pn(N)$. However, this is only a partial axiomatization, since it is based on a concrete, ad hoc chosen, category of symmetries $Sym_N$. In this paper we give a completely abs...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
1996.
|
| Subjects: | |
| Online Access: | Get fulltext |