{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/42202"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/42202","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets","abstract":"Livelock avoidance is an essential requirement in Discrete-Event/Discrete-State (DEDS) systems. Every event of a live DEDS system can be executed at some instant in the future, irrespective of its past activities. When a DEDS system is in a livelock-state, some events will enter into a state of suspended animation for perpetuity, while others proceed with no impediment. This report is about the automatic synthesis of Liveness Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems. Past research has shown that the existence of an LESP in DEDS systems modeled by a class of general Free-Choice Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to the presence of a right-closed set of states that are control invariant with respect to the system. A minimally restrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary. This study describes an object-oriented implementation of the minimally restrictive supervisory policy for a class of Petri nets for which this policy is decidable.","abstract_html":"Livelock avoidance is an essential requirement in Discrete-Event/Discrete-State (DEDS) systems. Every event of a live DEDS system can be executed at some instant in the future, irrespective of its past activities. When a DEDS system is in a livelock-state, some events will enter into a state of suspended animation for perpetuity, while others proceed with no impediment. This report is about the automatic synthesis of Liveness Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems. Past research has shown that the existence of an LESP in DEDS systems modeled by a class of general Free-Choice Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to the presence of a right-closed set of states that are control invariant with respect to the system. A minimally restrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary. This study describes an object-oriented implementation of the minimally restrictive supervisory policy for a class of Petri nets for which this policy is decidable.","abstract_has_math":false,"creators":["Chandrasekaran, Sangeetha"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Industrial Engineering","degree_department":null,"school":null,"contributors":["Sreenivas, Ramavarapu S."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2013,"date_issued":"2013-02-03T19:27:44Z","date_published":"2013-02-03T19:27:44Z","updated_at":"2026-07-22T22:25:33Z","subjects":["Controlled Petri nets","Supervisory policy for discrete systems","Liveness","livelock avoidance","Control invariance","Minimally restrictive"],"languages":["en"],"rights":["Copyright 2012 Sangeetha Chandrasekaran"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/42202","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Sreenivas, Ramavarapu S."]},{"key":"dc:creator","label":"Author","values":["Chandrasekaran, Sangeetha"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2013-02-03T19:27:44Z","2012-12"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Industrial Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Controlled Petri nets","Supervisory policy for discrete systems","Liveness","livelock avoidance","Control invariance","Minimally restrictive"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2012 Sangeetha Chandrasekaran"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/42202"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Livelock avoidance is an essential requirement in Discrete-Event/Discrete-State (DEDS) systems. Every event of a live DEDS system can be executed at some instant in the future, irrespective of its past activities. When a DEDS system is in a livelock-state, some events will enter into a state of suspended animation for perpetuity, while others proceed with no impediment. This report is about the automatic synthesis of Liveness Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems. Past research has shown that the existence of an LESP in DEDS systems modeled by a class of general Free-Choice Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to the presence of a right-closed set of states that are control invariant with respect to the system. A minimally restrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary. This study describes an object-oriented implementation of the minimally restrictive supervisory policy for a class of Petri nets for which this policy is decidable.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2012-12-12T19:56:27Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 document.tex: 87234 bytes, checksum: 7b386af9e96e44154d1e1a0a44e110fc (MD5) Chandrasekaran_Sangeetha.pdf: 1264930 bytes, checksum: 138d63059a96c27670f6760d78389615 (MD5)","Made available in DSpace on 2013-02-03T19:27:44Z (GMT). No. of bitstreams: 3 Sangeetha_Chandrasekaran.pdf: 1264930 bytes, checksum: 138d63059a96c27670f6760d78389615 (MD5) document.tex: 87234 bytes, checksum: 7b386af9e96e44154d1e1a0a44e110fc (MD5) license.txt: 4074 bytes, checksum: 8bf6796beadc7a8ec95614ea3b38a808 (MD5)"]},{"key":"dc:title","label":"Title","values":["Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets"]}]}],"canonical_facts":{"dc:contributor":["Sreenivas, Ramavarapu S."],"dc:creator":["Chandrasekaran, Sangeetha"],"dc:date":["2013-02-03T19:27:44Z","2012-12"],"dc:description":["Livelock avoidance is an essential requirement in Discrete-Event/Discrete-State (DEDS) systems. Every event of a live DEDS system can be executed at some instant in the future, irrespective of its past activities. When a DEDS system is in a livelock-state, some events will enter into a state of suspended animation for perpetuity, while others proceed with no impediment. This report is about the automatic synthesis of Liveness Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems. Past research has shown that the existence of an LESP in DEDS systems modeled by a class of general Free-Choice Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to the presence of a right-closed set of states that are control invariant with respect to the system. A minimally restrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary. This study describes an object-oriented implementation of the minimally restrictive supervisory policy for a class of Petri nets for which this policy is decidable.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2012-12-12T19:56:27Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 document.tex: 87234 bytes, checksum: 7b386af9e96e44154d1e1a0a44e110fc (MD5) Chandrasekaran_Sangeetha.pdf: 1264930 bytes, checksum: 138d63059a96c27670f6760d78389615 (MD5)","Made available in DSpace on 2013-02-03T19:27:44Z (GMT). No. of bitstreams: 3 Sangeetha_Chandrasekaran.pdf: 1264930 bytes, checksum: 138d63059a96c27670f6760d78389615 (MD5) document.tex: 87234 bytes, checksum: 7b386af9e96e44154d1e1a0a44e110fc (MD5) license.txt: 4074 bytes, checksum: 8bf6796beadc7a8ec95614ea3b38a808 (MD5)"],"dc:identifier":["http://hdl.handle.net/2142/42202"],"dc:language":["en"],"dc:rights":["Copyright 2012 Sangeetha Chandrasekaran"],"dc:subject":["Controlled Petri nets","Supervisory policy for discrete systems","Liveness","livelock avoidance","Control invariance","Minimally restrictive"],"dc:title":["Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets"],"dc:type":["text"],"thesis:degree_discipline":["Industrial Engineering"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:33Z"}