Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220)
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: Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs |
scientific article; zbMATH DE number 7859996
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs |
scientific article; zbMATH DE number 7859996 |
Statements
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (English)
0 references
5 June 2024
0 references
Petri net
0 references
deadlock-freeness
0 references
liveness
0 references
basis reachability graph
0 references
0 references
0 references
0 references
0 references
