No label defined (Q4281514)
From MaRDI portal
scientific article; zbMATH DE number 512821
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 512821 |
Statements
13 November 1994
0 references
synthesis of concurrent systems
0 references
labelled directed graphs
0 references
elementary Petri nets
0 references