Petri nets based on Lawvere theories (Q3386752)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Petri nets based on Lawvere theories |
scientific article |
Statements
Petri nets based on Lawvere theories (English)
0 references
7 January 2021
0 references
Petri nets
0 references
Lawvere theory
0 references
category theory
0 references
operational semantics
0 references
