Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis (Q4302739)
From MaRDI portal
scientific article; zbMATH DE number 622202
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis |
scientific article; zbMATH DE number 622202 |
Statements
Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis (English)
0 references
4 April 1995
0 references
state explosion problem
0 references
Petri nets
0 references
concurrent-software systems
0 references
hierarchical reachability graph
0 references
deadlock state
0 references
