Liveness enforcement for production systems modeled by time Petri nets (Q6052675)
From MaRDI portal
scientific article; zbMATH DE number 7741658
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Liveness enforcement for production systems modeled by time Petri nets |
scientific article; zbMATH DE number 7741658 |
Statements
Liveness enforcement for production systems modeled by time Petri nets (English)
0 references
22 September 2023
0 references
Petri net
0 references
time Petri net
0 references
liveness enforcement
0 references
maximally permissive controller
0 references
controllable transition
0 references
0 references
0 references
