Control synthesis of Petri nets based on \(S\)-decreases (Q1581036): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q821296 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: Volodymyr G. Skobelev / rank | |||
Normal rank | |||
Revision as of 00:38, 21 February 2024
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
