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

DOI10.1007/3-540-44919-1_26zbMath1274.68256OpenAlexW1486053325MaRDI 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

zbMATH Keywords

analysis and synthesisstructure and behavior of nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets