Control synthesis of Petri nets based on \(S\)-decreases (Q1581036)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Control synthesis of Petri nets based on \(S\)-decreases |
scientific article |
Statements
Control synthesis of Petri nets based on \(S\)-decreases (English)
0 references
1 April 2001
0 references
The problem of control synthesis for Petri nets with uncontrollable transitions is solved on the basis of the concept of minimal support \(S\)-decreases. The controller is an extended Petri net that admits a net-based implementation. A comparision with known methods shows that the suggested one results in better solutions.
0 references
discrete event system
0 references
controlled Petri net
0 references
forbidden states
0 references
control synthesis
0 references
minimal support \(S\)-decreases
0 references
