Theory and Applications of Models of Computation (Q5898911)
From MaRDI portal
scientific article; zbMATH DE number 5147870
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theory and Applications of Models of Computation |
scientific article; zbMATH DE number 5147870 |
Statements
Theory and Applications of Models of Computation (English)
0 references
30 April 2007
0 references
Petri nets
0 references
analysis
0 references
synthesis
0 references
liveness and boundedness
0 references