No label defined (Q5422278)
From MaRDI portal
scientific article; zbMATH DE number 5201484
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5201484 |
Statements
17 October 2007
0 references
object Petri nets
0 references
multiset rewriting
0 references
Dickson's lemma
0 references
Karp Miller algorithm
0 references