Feedback control of Petri nets based on place invariants (Q1911289)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 867799
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Feedback control of Petri nets based on place invariants |
scientific article; zbMATH DE number 867799 |
Statements
Feedback control of Petri nets based on place invariants (English)
0 references
5 June 1996
0 references
This paper describes a method for constructing a Petri net controller for a discrete event system modeled by a Petri net. The controller consists only of places and arcs, and is computed based on the concept of Petri net place invariants. The size of the controller is proportional to the number of constraints that must be satisfied. This method is computationally efficient, and can accommodate constraints written as Boolean logic formulas in the conjunctive normal form or algebraic inequalities that contain elements of the marking and/or the firing vectors.
0 references
supervisory control
0 references
Petri net controller
0 references
discrete event system
0 references
invariants
0 references
Boolean logic
0 references
0.91121817
0 references
0.8894651
0 references
0.88748163
0 references
0.8817245
0 references
0.88058424
0 references
0.8803785
0 references
0.87429035
0 references
