Symbolic reachability graph and partial symmetries (Q5096366)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7572184
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Symbolic reachability graph and partial symmetries |
scientific article; zbMATH DE number 7572184 |
Statements
Symbolic reachability graph and partial symmetries (English)
0 references
16 August 2022
0 references
well-formed Petri nets
0 references
symbolic reachability graphs
0 references
partial symmetries
0 references
0.8533728122711182
0 references
0.8526254296302795
0 references
0.7813127636909485
0 references
0.7721167802810669
0 references
