Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters (Q5179054)
From MaRDI portal
scientific article; zbMATH DE number 6416855
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters |
scientific article; zbMATH DE number 6416855 |
Statements
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters (English)
0 references
19 March 2015
0 references
Petri nets
0 references
unbounded integers
0 references
reachability
0 references
traces
0 references