On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets (Q4686523)
From MaRDI portal
scientific article; zbMATH DE number 6946157
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets |
scientific article; zbMATH DE number 6946157 |
Statements
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets (English)
0 references
2 October 2018
0 references
structural analysis
0 references
weighted Petri net
0 references
deadlockability
0 references
liveness
0 references
reversibility
0 references
boundedness
0 references
monotonicity
0 references
fork-attribution
0 references
join-free
0 references
communication-free
0 references
synchronization-free
0 references
asymmetric-choice
0 references
