An algebraic semantics for hierarchical P/T nets (Q5096359)
From MaRDI portal
scientific article; zbMATH DE number 7572174
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic semantics for hierarchical P/T nets |
scientific article; zbMATH DE number 7572174 |
Statements
An algebraic semantics for hierarchical P/T nets (English)
0 references
16 August 2022
0 references
place/transition nets
0 references
hierarchical Petri nets
0 references
process algebra
0 references
abstraction
0 references
verification
0 references
top-down design
0 references
