Author:
Li Wenjing,Li Songzhao,Lu Jianbo
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Finkel A. The minimal cover ability graph for Petri nets [J]. Lecture Notes in Computer Science, 1993, 674: 210–243.
2. Kaim W E, Kordon F. An integrated framework for rapid system prototyping and automatic code distribution[C]//5th IEEE International Workshop on Rapid System Prototyping. Piscataway: IEEE, 1994:52–61.
3. Colom J M, Silva M. Convex geometry and semi flows in P/T nets. A comparative study of algorithms for computation of minimal P-semi flows [J]. Lecture Notes in Computer Science, 1991, 483:79–112.
4. Zaitsev D A, Dmitry A. Toward the minimal universal Petri net [J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 44(1): 47–58.
5. Sine V B, Thomas S J, Jon J, et al. Interval abstraction refinement for model checking of timed-arc Petri nets [C]//12th International Conference on Formal Modeling and Analysis of Timed Systems. Heidelberg: Springer-Verlag, 2014: 237–251.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献