Back to Search
Start Over
Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions
- Source :
- IEEE Access, Vol 5, Pp 6780-6790 (2017)
- Publication Year :
- 2017
- Publisher :
- IEEE, 2017.
-
Abstract
- Deciding how to prevent discrete event systems (DESs) from reaching forbidden states is an important problem in the field of DES supervisory control. For DESs with uncontrollable events, linear constraint transformation becomes a popular technique for solving the forbidden state problem when Petri nets are used as a modeling tool and control specifications are given in the form of linear constraints. This paper proposes a novel linear constraint transformation approach that is applicable to PT-ordinary Petri nets with uncontrollable subnets being forward-concurrent-free. For such nets, a linear constraint can be transformed into an optimal transformed one (i.e., a linear constraint that exactly characterizes the admissible marking set) by using the proposed approach, which is computationally shown to be of polynomial complexity with respect to the net size. An example is presented to illustrate the developed technique.
- Subjects :
- 0209 industrial biotechnology
Mathematical optimization
General Computer Science
Computation
uncontrollable transitions
linear constraints
Petri nets
02 engineering and technology
020901 industrial engineering & automation
Supervisory control
Control theory
0202 electrical engineering, electronic engineering, information engineering
General Materials Science
Event (probability theory)
Mathematics
Discrete event systems
General Engineering
State (functional analysis)
Petri net
Process architecture
Constraint (information theory)
Stochastic Petri net
020201 artificial intelligence & image processing
optimal transformation
lcsh:Electrical engineering. Electronics. Nuclear engineering
lcsh:TK1-9971
Subjects
Details
- Language :
- English
- ISSN :
- 21693536
- Volume :
- 5
- Database :
- OpenAIRE
- Journal :
- IEEE Access
- Accession number :
- edsair.doi.dedup.....7618e70e066302af98017d15292aea3d