Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences (Q650043)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences |
scientific article |
Statements
Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences (English)
0 references
25 November 2011
0 references
supervisor synthesis
0 references
Petri net
0 references
structured discrete event model
0 references
length of the discrete event method
0 references
