How Petri Net Theory Serves Petri Net Model Checking: A Survey-Reference-Cited by-同舟云学术

How Petri Net Theory Serves Petri Net Model Checking: A Survey

Published:2019 Issue: Volume: Page:36-63
ISSN:0302-9743
Container-title:Transactions on Petri Nets and Other Models of Concurrency XIV
language:
Short-container-title:

Author:

Wolf Karsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-60651-3_2

Reference58 articles.

1. Lecture Notes in Computer Science;G Behrmann,2003

2. Lecture Notes in Computer Science;F Bønneland,2018

3. Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293–318 (1992)

4. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Method, and Philosophy of Science, pp. 1–12 (1962)

5. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 10$$^{20}$$ states and beyond. In: Proceedings of the LICS, pp. 428–439. IEEE (1990)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Change‐aware model checking for evolving concurrent programs based on Program Dependence Net;Journal of Software: Evolution and Process;2023-11-09

2. EnPAC: Petri Net Model Checking for Linear Temporal Logic;2023 IEEE International Conference on Networking, Sensing and Control (ICNSC);2023-10-25

3. A Model-Driven Security Analysis Approach for 5G Communications in Industrial Systems;IEEE Transactions on Wireless Communications;2023-02

4. Minimal Generating Sets for Semiflows;Formal Techniques for Distributed Objects, Components, and Systems;2023

5. Modelling and measuring complexity of traditional and ancient technologies using Petri nets;PLOS ONE;2022-11-29