Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets-Reference-Cited by-同舟云学术

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets

Published:1999 Issue: Volume: Page:240-254
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Heljanko Keijo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49059-0_17

Reference16 articles.

1. E. Best. Partial order verification with PEP. In G. Holzmann, D. Peled, and V. Pratt, editors, Proceedings of POMIV’96, Workshop on Partial Order Methods in Verification. American Mathematical Society, July 1996.

2. J. C. Corbett. Evaluating deadlock detection methods for concurrent software. Technical report, Department of Information and Computer Science, University of Hawaii at Manoa, 1995.

3. J. Engelfriet. Branching processes of Petri nets. In Acta Informatica 28, pages 575–591, 1991.

4. J. Esparza and M. Nielsen. Decidability issues for Petri Nets-a survey. Journal of Information Processing and Cybernetics 30(3), pages 143–160, 1994.

5. Lect Notes Comput Sci;J. Esparza,1996

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

1. Safety Analysis of Train-Ground Communication Failure Based on Unfolding of Petri Nets;2022 China Automation Congress (CAC);2022-11-25

2. Directed Unfolding of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency I;2008

3. Verification of bounded Petri nets using integer programming;Formal Methods in System Design;2006-08-31

4. An Approach to Unfolding Asynchronous Communication Protocols;FM 2005: Formal Methods;2005

5. Real-Time Systems Design with PEP;Tools and Algorithms for the Construction and Analysis of Systems;2002