Optimizing Verification of Structurally Evolving Algebraic Petri Nets-Reference-Cited by-同舟云学术

Optimizing Verification of Structurally Evolving Algebraic Petri Nets

Published:2013 Issue: Volume: Page:64-78
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Khan Yasir Imtiaz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40894-6_6

Reference20 articles.

1. Lecture Notes in Computer Science;D. Buchs,2010

2. Burch, J.R., Clarke, E., McMillan, K.L., Dill, D., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, pp. 428–439 (1990)

3. Chang, J., Richardson, D.J.: Static and dynamic specification slicing. In: Proceedings of the Fourth Irvine Software Symposium (1994)

4. Lecture Notes in Computer Science;S. Christensen,1992

5. Christensen, S., Petrucci, L.: Modular analysis of petri nets. The Computer Journal 43, 2000 (2000)

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

1. Maximal and Minimal Dynamic Petri Net Slicing;Fundamenta Informaticae;2023-06-19

2. A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems;Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management;2023

3. Transformational supervisor synthesis for evolving systems;Discrete Event Dynamic Systems;2022-02-23

4. A Petri Nets Evolution Method that Supports BPMN Model Changes;Scientific Programming;2021-06-15

5. A New Dynamic Algorithm for Petri Nets Slicing;2020 IEEE 14th International Conference on Application of Information and Communication Technologies (AICT);2020-10-07