Control synthesis of Petri nets based on \(S\)-decreases (Q1581036): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1023/a:1008397810443 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2128675654 / rank | |||
Normal rank | |||
Latest revision as of 11:53, 30 July 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
