Author:
Melzer Stephan,Römer Stefan
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. E. Best and C. Fernández: Nonsequential Processes — A Petri Net View. EATCS Monographs on Theoretical Computer Science 13 (1988).
2. CPLEX 3.0 Manual, CPLEX Corp. (1995).
3. James C. Corbett: Evaluating Deadlock Detection Methods. University of Hawaii at Manoa (1994).
4. J. Engelfriet: Branching processes of Petri nets. Acta Informatica 28, pp. 575–591 (1991).
5. J. Esparza, S. Römer and W. Vogler: An Improvement of McMillan's Unfolding Algorithm. Proc. of Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, 87–106 (1996).
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献