Author:
Clarisó Robert,Rodríguez-Carbonell Enric,Cortadella Jordi
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;R. Bagnara,2003
2. Lecture Notes in Computer Science;B. Bérard,1999
3. Chernikova, N.: Algoritm for discovering the set of all solutions of a linear programming problem. USSR Computational Mathematics and Mathematical Physics 6(8), 282–293 (1964)
4. Chu, F., Xie, X.-L.: Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation 13(6), 793–804 (1997)
5. Commoner, F.: Deadlocks in Petri Nets. Wakefield: Applied Data Research, Inc., CA-7206–2311 (1972)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Generating Inductive Invariants for Petri Nets;Advances in Intelligent and Soft Computing;2012
2. Process Mining Meets Abstract Interpretation;Machine Learning and Knowledge Discovery in Databases;2010