A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets

Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe. A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. In Wil M. P. van der Aalst, Eike Best, editors, Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Volume 2679 of Lecture Notes in Computer Science, pages 417-439, Springer, 2003. [doi]

Abstract

Abstract is missing.