Applications and Theory of Petri Nets 2005 (Q5713506)
From MaRDI portal
scientific article; zbMATH DE number 2238830
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applications and Theory of Petri Nets 2005 |
scientific article; zbMATH DE number 2238830 |
Statements
Applications and Theory of Petri Nets 2005 (English)
0 references
14 December 2005
0 references
High-level net models
0 references
algebraic high-level nets
0 references
nets and rules as tokens
0 references
integration of net theory and graph transformations
0 references
case study: House of Philosophers
0 references
algebraic specifications
0 references
graph grammars and Petri net transformations
0 references
