Murat Uzam, Zhiwu Li, Umar Suleiman Abubakar. A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS. In Mohamed Khalgui, Zhiwu Li, editors, ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014. Volume 1161 of CEUR Workshop Proceedings, pages 68-82, CEUR-WS.org, 2014. [doi]
Abstract is missing.