Equivalence notions applied to designing concurrent systems with the use of Petri nets (Q5930945)
From MaRDI portal
scientific article; zbMATH DE number 1592232
Language | Label | Description | Also known as |
---|---|---|---|
English | Equivalence notions applied to designing concurrent systems with the use of Petri nets |
scientific article; zbMATH DE number 1592232 |
Statements
Equivalence notions applied to designing concurrent systems with the use of Petri nets (English)
0 references
26 April 2001
0 references
concurrent systems
0 references
Petri nets
0 references