Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller (Q2797617)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller |
scientific article; zbMATH DE number 6563525
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller |
scientific article; zbMATH DE number 6563525 |
Statements
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller (English)
0 references
5 April 2016
0 references
flexible manufacturing system
0 references
Petri net
0 references
deadlock
0 references
siphon
0 references
integer linear programming problem
0 references
0.8402059
0 references
0.8239385
0 references
0.8234526
0 references
0.8167649
0 references
0.8157666
0 references
0.81347686
0 references
0.8130301
0 references
0.81130075
0 references
0.8105004
0 references
