Author:
Liu Su,Zeng Reng,Sun Zhuo,He Xudong
Publisher
Springer International Publishing
Reference43 articles.
1. CPN tools, http://cpntools.org
2. High-level Petri Nets - Concepts, Definitions and Graphical Notation (2000)
3. Armando, A., Mantovani, J., Platania, L.: Bounded model checking of software using smt solvers instead of sat solvers. Int. J. Softw. Tools Technol. Transf. 11(1), 69–83 (2009)
4. Armando, A., Ranise, S., Rusinowitch, M.: A rewriting approach to satisfiability procedures. Information and Computation 183(2), 140–164 (2003); 12th International Conference on Rewriting Techniques and Applications (RTA 2001)
5. Ball, T., Bounimova, E., Kumar, R., Levin, V.: Slam2: static driver verification with under 4. In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Austin, TX, pp. 35–42. FMCAD Inc. (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Personal Journey in Petri Net Research;Carl Adam Petri: Ideas, Personality, Impact;2019
2. Execution and evaluation of enterprise models in IEM/MO2GO based on Petri net;The International Journal of Advanced Manufacturing Technology;2018-03-07