An axiomatization of the category of Petri net computations (Q4236218)
From MaRDI portal
scientific article; zbMATH DE number 1268694
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatization of the category of Petri net computations |
scientific article; zbMATH DE number 1268694 |
Statements
An axiomatization of the category of Petri net computations (English)
0 references
22 March 1999
0 references
strongly concatenable process
0 references
Petri nets
0 references
replete image
0 references
