@MastersThesis{IordacheM, author = {M. V. Iordache}, title = "{Deadlock Prevention in Discrete Event Systems Using Petri Nets}", school = {University of Notre Dame}, year = {1999}, } @TechReport{Iordache99, author = "M. V. Iordache and J. O. Moody and P. J. Antsaklis", title = "A Method for Deadlock Prevention in Discrete Event Systems Using {Petri} Nets", institution = "University of Notre Dame", type = "Technical report of the ISIS group, isis-99-006", month = jul, year = "1999", } @TechReport{Iordache00, author = "M. V. Iordache and J. O. Moody and P. J. Antsaklis", title = "Automated Synthesis of Deadlock Prevention Supervisors Using {Petri} Nets", institution = "University of Notre Dame", type = "Technical report of the ISIS group, isis-2000-003", month = may, year = "2000", } @TechReport{Iordache00L, author = "M. V. Iordache and J. O. Moody and P. J. Antsaklis", title = "Automated Synthesis of Liveness Enforcement Supervisors Using {Petri} Nets", institution = "University of Notre Dame", type = "Technical report of the ISIS group, isis-2000-004", month = sep, key = {IO00}, year = "2000", } @InProceedings{Iordache2000, author = "M. V. Iordache and J. O. Moody and P. J. Antsaklis", title = "A METHOD FOR THE SYNTHESIS OF DEADLOCK PREVENTION CONTROLLERS IN SYSTEMS MODELED BY {Petri} NETS", booktitle = "Proceedings of the 2000 American Control Conference", pages = "3167--3171", month = jun, year = "2000", abstract = "Given an arbitrary Petri net structure, the deadlock prevention procedure presented here determines a set of linear inequalities on the marking of a Petri net. When the Petri net is supervised so that its markings satisfy these inequalities, the supervised net is proved to be deadlock-free for all initial markings that satisfy the supervision constraints. Deadlock-freedom implies that there will always be at least one transition that is enabled in the closed loop (supervised) system. The method is not guaranteed to insure liveness, as it can be applied to systems that cannot be made live under any circumstances. However, it is shown that when the method does insure liveness, it is at least as permissive as any other liveness-insuring supervisor. The procedure is illustrated using an example from flexible manufacturing.", } @InCollection{Iordache2001atpn, author = {M. V. Iordache and P. J. Antsaklis}, editor = "{J.M. Colom} and {M. Koutny}", title = {Generalized Conditions for Liveness Enforcement and Deadlock Prevention in {Petri} Nets}, booktitle = "22nd International Conference on Application and Theory of Petri Nets (ICATPN 2001), Newcastle upon Tyne, UK, June 2001", volume = "2075", pages = "184--203", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", year = "2001", abstract = "This paper presents new results concerned with liveness, liveness of a subset of transitions and deadlock in Petri nets. Liveness is seen as a particular case of what we call $T$-liveness: all transitions in the set $T$ are live. The first results characterize the relation between supervisors enforcing liveness and $T$-liveness with supervisors preventing deadlock. Then we introduce a class of Petri net subnets allowing us to extend two well known results. Specifically we generalize the result relating deadlock to siphons and the extension to asymmetric choice Petri nets of the Commoner's Theorem. We conclude by considering how the theoretical results of this paper can be used for deadlock prevention, least restrictive deadlock prevention and least restrictive $T$-liveness enforcement.", } @InProceedings{Iordache2001acc, author = "M. V. Iordache and J. O. Moody and P. J. Antsaklis", title = "A Method for the Synthesis of Liveness Enforcing Supervisors in {Petri} Nets", booktitle = "Proceedings of the 2001 American Control Conference", pages = "4943--4948", month = jun, year = "2001", abstract = "Given an arbitrary Petri net structure which may have uncontrollable and unobservable transitions and may be unbounded, the procedure described in this paper generates a supervisor for liveness enforcement. The supervisor is specified as a conjunction of linear marking inequalities. For all initial markings satisfying the linear marking inequalities, the supervised Petri net is live. Moreover, the supervision is least restrictive in the fully controllable and observable case.", } @InProceedings{Iordache2001cdc, author = "M. V. Iordache and P. J. Antsaklis", title = "{${\cal T}$}-liveness enforcement in {Petri} nets based on structural net properties", booktitle = "Proceedings of the 40th IEEE International Conference on Decision and Control.", month = dec, pages = "4984-4989", year = "2001", } @Article{Iordache2002, author = {M. V. Iordache and J. O. Moody and P. J. Antsaklis}, title = {Synthesis of Deadlock Prevention Supervisors using {Petri} nets}, journal = {IEEE Transactions on Robotics and Automation}, month = feb, number = {1}, volume = {18}, pages = {59--68}, year = {2002}, } @InProceedings{Iordache02acc, author = {M. V. Iordache and P. J. Antsaklis}, title = {Synthesis of Supervisors Enforcing General Linear Vector Constraints in {Petri} Nets}, booktitle = {Proceedings of the 2002 American Control Conference}, pages = {154--159}, year = {2002}, OPTmonth = may, } @TechReport{Iordache02t, author = {M. V. Iordache and P. J. Antsaklis}, title = {Synthesis of Supervisors Enforcing General Linear Vector Constraints in {Petri} Nets}, institution = {University of Notre Dame}, year = {2002}, type = {Technical report isis-2002-002}, month = feb, } @TechReport{Iordache02soft, author = {M. V. Iordache and P. J. Antsaklis}, title = {Software Tools for the Supervisory Control of {Petri} Nets Based on Place Invariants}, institution = {University of Notre Dame}, year = {2002}, type = {Technical report isis-2002-003}, month = apr, } @TechReport{Iordache02t-dc, author = {M. V. Iordache and P. J. Antsaklis}, title = {Decentralized Control of {DES} Using {Petri} Nets}, institution = {University of Notre Dame}, year = {2002}, type = {Technical report isis-2002-005}, month = sep, OPTnote = {Available at http://www.nd.edu/$\sim$isis/tech.html.}, } @InProceedings{Iordache03acc-1, author = {M. V. Iordache and P. J. Antsaklis}, title = {Admissible Decentralized Control of {Petri} Nets}, booktitle = {Proceedings of the 2003 American Control Conference}, pages = {332--337}, year = {2003}, } @InProceedings{Iordache03acc-2, author = {M. V. Iordache and P. J. Antsaklis}, title = {Decentralized Control of {Petri} Nets with Constraint Transformations}, booktitle = {Proceedings of the 2003 American Control Conference}, pages = {314--319}, year = {2003}, } @InProceedings{Iordache03des, author = {M. Iordache and P. Antsaklis}, title = {Decentralized Control of {Petri} Nets}, booktitle = {Proceedings of the Workshop on Discrete Event Systems Control, of the International Conference on the Application and Theory of Petri Nets (ATPN 2003)}, pages = {143--158}, year = {2003}, } @Article{Iordache03, author = {M. V. Iordache and P. J. Antsaklis}, title = {Synthesis of Supervisors Enforcing General Linear Vector Constraints in {Petri} Nets}, journal = {IEEE Transactions on Automatic Control}, year = {2003}, volume = {48}, number = {11}, pages = {2036--2039}, } @Article{Iordache03L, author = {M.V. Iordache and P.J. Antsaklis}, title = {Design of {T}-Liveness Enforcing Supervisors in {Petri} Nets}, journal = {IEEE Transactions on Automatic Control}, year = {2003}, volume = {48}, number = {11}, pages = {1962--1974}, } @PhdThesis{Iordache2003, author = {M. V. Iordache}, title = {Methods for the Supervisory Control of Concurrent Systems Based on {Petri} Net Abstractions}, school = {University of Notre Dame}, year = {2003}, } @InProceedings{Iordache04acc-inv, author = {M. V. Iordache and P. J. Antsaklis}, title = {On a Class of Controlled Invariant Sets}, booktitle = {Proceedings of the 2004 American Control Conference}, pages = {2522--2527}, year = {2004}, OPTmonth = may, } @InProceedings{Iordache04acc-res, author = {M. V. Iordache and P. J. Antsaklis}, title = {Resilience to Failures and Reconfigurations in the Supervision Based on Place Invariants}, booktitle = {Proceedings of the 2004 American Control Conference}, pages = {4477--4482}, year = {2004}, OPTmonth = may, } @TechReport{Iordache04t, author = {M. V. Iordache and P. J. Antsaklis}, title = {Supervision Based On Place Invariants: A Survey}, institution = {University of Notre Dame}, year = {2004}, type = {Technical report isis-2004-003}, month = jul, note = {Accepted for publication in {\em Discrete Event Dynamic Systems}.}, OPTnote = {Available at http://www.nd.edu/$\sim$isis/tech.html.}, } @InProceedings{Iordache05acc, author = {M. V. Iordache and P. J. Antsaklis}, title = {A Structural Approach to the Enforcement of Language and Disjunctive Constraints}, booktitle = {Proceedings of the 2005 American Control Conference}, pages = {3920--3925}, year = {2005}, OPTmonth = may, } @Article{Iordache06, author = {M. V. Iordache and P. J. Antsaklis}, title = {Supervision Based On Place Invariants: A Survey}, journal = {Discrete Event Dynamic Systems}, year = {2006}, volume = {16}, pages = {451--492}, } @Book{Iordache06b, author = {M. V. Iordache and P. J. Antsaklis}, title = {Supervisory Control of Concurrent Systems: A {Petri} Net Structural Approach}, publisher = {Birkh\"auser}, year = {2006}, } @Article{Iordache06d, author = {M.V. Iordache and P.J. Antsaklis}, title = {Decentralized Supervision of {Petri} Nets}, journal = {IEEE Transactions on Automatic Control}, year = {2006}, volume = {51}, number = {2}, pages = {376--381}, } @InProceedings{Iordache06des, author = {M.V. Iordache and P.J. Antsaklis}, title = {Reduction of the Supervisor Design Problem with Firing Vector Constraints}, booktitle = {Proceedings of the 8th International Workshop on Discrete Event Systems}, pages = {215--221}, year = {2006}, editor = {S. Lafortune and F. Lin and D. Tilbury}, OPTaddress = {Ann Arbor, Michigan, USA}, OPTmonth = jul, } @InProceedings{Iordache07acc, author = {M. V. Iordache and P. J. Antsaklis}, title = {Petri Net Supervisors for Disjunctive Constraints}, booktitle = {Proceedings of the 2007 American Control Conference}, pages = {4951--4956}, year = {2007}, } @InProceedings{Iordache09acc, author = {M. V. Iordache and P. J. Antsaklis}, title = {Petri Nets and Programming: A Survey}, booktitle = {Proceedings of the 2009 American Control Conference}, pages = {4994--4999}, year = {2009}, OPTmonth = jun, }