Author:
Esparza Javier,Schröter Claus
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lect Notes Comput Sci;G. Berthelot,1985
2. J. C. Corbett. Evaluating Deadlock Detection Methods, 1994.
3. Lect Notes Comput Sci;J. M. Colom,1990
4. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
5. Lect Notes Comput Sci;J. Esparza,2000
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking;Lecture Notes in Computer Science;2022
2. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019;International Journal on Software Tools for Technology Transfer;2021-06-01
3. Bibliography;Path Planning of Cooperative Mobile Robots Using Discrete Event Models;2019-12-16
4. Counting Petri net markings from reduction equations;International Journal on Software Tools for Technology Transfer;2019-04-30
5. Petri Net Reductions for Counting Markings;Model Checking Software;2018