A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models (Q5745696): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Liveness of an extended S\(^{3}\)PR / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Deadlock prevention policy based on Petri nets and siphons / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata / rank | |||
Normal rank | |||
Latest revision as of 07:05, 7 July 2024
scientific article; zbMATH DE number 6252603
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models |
scientific article; zbMATH DE number 6252603 |
Statements
A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models (English)
0 references
30 January 2014
0 references
Petri net
0 references
uncontrollable transition
0 references
siphon
0 references
optimal liveness-enforcing supervisor
0 references
flexible manufacturing system
0 references
0 references
