Petri nets are monoids (Q922720)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Petri nets are monoids |
scientific article; zbMATH DE number 4170120
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Petri nets are monoids |
scientific article; zbMATH DE number 4170120 |
Statements
Petri nets are monoids (English)
0 references
1990
0 references
A new definition of place/transition Petri nets as graphs with the operation of parallel and sequential composition on the transitions is given. New morphisms, relating system description at different level of abstractions, and new constructions, like function space for Petri nets, are defined. Categories equipped with products and coproducts are introduced for Petri nets. A tensor product is also defined on nets, and net category is proved to be symmetric monoidal closed.
0 references
Petri nets
0 references
net category
0 references
