A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
From MaRDI portal
Publication:3550628
DOI10.1007/3-540-44919-1_26zbMath1274.68256MaRDI QIDQ3550628
Shinji Furusato, Toshimasa Watanabe, Satoshi Taoka
Publication date: 31 March 2010
Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-44919-1_26
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)