Publisher
Springer International Publishing
Reference66 articles.
1. Alur, R., Yannakakis, M.: Model checking of hierarchical state machines. In: Proc. ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp. 175–188. ACM (1998)
2. Arora, N.: Comparison of Encoding Schemes for Symbolic Model Checking of Bounded Petri Nets. Master thesis, paper 11511, Iowa State University, USA (2010)
3. Lecture Notes in Computer Science;L Bernardinello,1992
4. Lecture Notes in Computer Science;E Best,1992
5. Lecture Notes in Computer Science;E Best,1999
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sequential Value Passing Yields a Kleene Theorem for Processes;Lecture Notes in Computer Science;2024
2. A Toolchain to Compute Concurrent Places of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01
3. EnPAC: Petri Net Model Checking for Linear Temporal Logic;2023 IEEE International Conference on Networking, Sensing and Control (ICNSC);2023-10-25
4. 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
5. Nested-unit Petri nets;Journal of Logical and Algebraic Methods in Programming;2019-04