%0 Conference Paper %1 conf/apn/UzamLA14 %A Uzam, Murat %A Li, Zhiwu %A Abubakar, Umar Suleiman %B ADECS @ Petri Nets %D 2014 %E Khalgui, Mohamed %E Li, Zhiwu %I CEUR-WS.org %K dblp %P 68-82 %T A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS. %U http://dblp.uni-trier.de/db/conf/apn/adecs2014.html#UzamLA14 %V 1161

@inproceedings{conf/apn/UzamLA14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Uzam, Murat and Li, Zhiwu and Abubakar, Umar Suleiman}, biburl = {https://www.bibsonomy.org/bibtex/28e1d6a7eca8593d010a87a71bba9ea0d/dblp}, booktitle = {ADECS @ Petri Nets}, crossref = {conf/apn/2014adecs}, editor = {Khalgui, Mohamed and Li, Zhiwu}, ee = {https://ceur-ws.org/Vol-1161/11610068.pdf}, interhash = {8cf86875ccc95242ab72c77895929e21}, intrahash = {8e1d6a7eca8593d010a87a71bba9ea0d}, keywords = {dblp}, pages = {68-82}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T12:02:22.000+0200}, title = {A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS.}, url = {http://dblp.uni-trier.de/db/conf/apn/adecs2014.html#UzamLA14}, volume = 1161, year = 2014 }