Abstract | ||
---|---|---|
The problem of enforcing disjunction of Generalized Mutual Exclusion Constraints (GMECs) on a Petri Net (PN) system is discussed in this paper. It has been proved that in presence of uncontrollable transitions a GMEC has to be transformed into a proper disjunction of GMECs to be enforced in a maximally permissive way. In addition, some control problems have to be directly specified as a disjunction of GMECs; this is the case when the legal markings belong to a non-convex region. In the literature the problem has been solved by extending the standard enabling rule for PNs by using OR-logic and Inhibitor Arcs. In this paper we propose an algorithm to synthesize a standard PN based controller to enforce a limited non-convex legal marking region under some restrictions. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/ICSMC.2003.1244681 | Systems, Man and Cybernetics, 2003. IEEE International Conference |
Keywords | Field | DocType |
Petri nets,SCADA systems,control system synthesis,GMEC disjunction,PN based controller,PN system,SCADA systems,controlled Petri nets,generalized mutual exclusion constraints,limited nonconvex legal marking region,uncontrollable transitions | Control theory,Petri net,Inhibitor arcs,Computer science,Control theory,Process architecture,Stochastic Petri net,Mutual exclusion | Conference |
Volume | ISSN | ISBN |
2 | 1062-922X | 0-7803-7952-7 |
Citations | PageRank | References |
2 | 0.38 | 6 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesco Basile | 1 | 161 | 11.25 |
Ciro Carbone | 2 | 41 | 3.39 |
Pasquale Chiacchio | 3 | 421 | 46.31 |