Generating all minimal Petri net unsolvable binary words (Q2295623)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Generating all minimal Petri net unsolvable binary words |
scientific article; zbMATH DE number 7167471
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Generating all minimal Petri net unsolvable binary words |
scientific article; zbMATH DE number 7167471 |
Statements
Generating all minimal Petri net unsolvable binary words (English)
0 references
14 February 2020
0 references
binary word
0 references
labelled transition system
0 references
Petri net
0 references
synthesis
0 references
0.8716397881507874
0 references
0.859321117401123
0 references
0.8567537069320679
0 references
0.7330381870269775
0 references
