On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574)
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: On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net |
scientific article; zbMATH DE number 7441670
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net |
scientific article; zbMATH DE number 7441670 |
Statements
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (English)
0 references
9 December 2021
0 references
supervisory control
0 references
Petri nets
0 references
control invariance
0 references
right-closed sets
0 references
0 references
0 references
