Petri nets are monoids (Q922720)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Petri nets are monoids |
scientific article |
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
