%0 Journal Article %1 salimi12015software %A Salimi1, E. %D 2015 %J International Journal of Computer Science, Engineering and Applications (IJCSEA) %K &Petri Avoidance Livelock Manufacturing Nets Systems %N 2 %P 1-13 %R 10.5121/ijcsea.2015.5201 %T A SOFTWARE TOOL FOR LIVE-LOCK AVOIDANCE IN SYSTEMS MODELLED USING A CLASS OF PETRI NETS %U http://airccse.org/journal/ijcsea/current2015.html %V 5 %X If a manufacturing system enters into a state where a task enters into a state of suspended animation for perpetuity, we say it is in a livelocked state. In contrast, all tasks of the system remain suspended for perpetuity in a deadlocked state of the system. A livelock-free manufacturing system can never experience deadlocks, but the converse is not necessarily true. A livelock-prone manufacturing system can be regulated using a supervisory policy such that the resulting supervised system is livelock-free. If a liveness enforcing supervisory policy (LESP) prevents the occurrence of an event at given state of the manufacturing system, and every other LESP, irrespective of the implementation paradigm, prescribes the same control for that state, we say the original LESP is minimally restrictive.

@article{salimi12015software, abstract = {If a manufacturing system enters into a state where a task enters into a state of suspended animation for perpetuity, we say it is in a livelocked state. In contrast, all tasks of the system remain suspended for perpetuity in a deadlocked state of the system. A livelock-free manufacturing system can never experience deadlocks, but the converse is not necessarily true. A livelock-prone manufacturing system can be regulated using a supervisory policy such that the resulting supervised system is livelock-free. If a liveness enforcing supervisory policy (LESP) prevents the occurrence of an event at given state of the manufacturing system, and every other LESP, irrespective of the implementation paradigm, prescribes the same control for that state, we say the original LESP is minimally restrictive.}, added-at = {2019-10-09T13:25:15.000+0200}, author = {Salimi1, E.}, biburl = {https://www.bibsonomy.org/bibtex/22fa70f45d49aa27e576ebfafa7694079/ijcsea}, doi = {10.5121/ijcsea.2015.5201}, interhash = {5302739dba73285cd08b34be7fc47291}, intrahash = {2fa70f45d49aa27e576ebfafa7694079}, journal = {International Journal of Computer Science, Engineering and Applications (IJCSEA) }, keywords = {&Petri Avoidance Livelock Manufacturing Nets Systems}, language = {English}, month = {April}, number = 2, pages = {1-13}, timestamp = {2019-10-09T13:25:15.000+0200}, title = {A SOFTWARE TOOL FOR LIVE-LOCK AVOIDANCE IN SYSTEMS MODELLED USING A CLASS OF PETRI NETS }, url = {http://airccse.org/journal/ijcsea/current2015.html}, volume = 5, year = 2015 }