A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets-Reference-Cited by-同舟云学术

A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets

Published:1992 Issue: Volume: Page:62-75
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 1992
language:
Short-container-title:

Author:

Barkaoui Kamel,Minoux Michel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55676-1_4.pdf

Reference28 articles.

1. K.Barkaoui: Contribution aux méthodes d'analyse des réseaux de Petri par la théorie des graphes. Thèse Doct, Université Paris 6, 1988.

2. K.Barkaoui, M.Minoux: On the Petri nets analysis based on graph theory. 6th SIAM Conference on Discrete Mathematics, June1992.

3. K.Barkaoui, B.Lemaire: An effective characterization of minimal deadlocks and traps based on graph theory. Proceedings of 10th Inter.conf. on appl and theory of Petri nets Bonn, June 1989.

4. C.Berge: Graphes et hypergraphes. Dunod, Paris, 1970.

5. G.Berthelot: Tansformations and decompositions of nets. Petti nets: Central models and their properties. Advances in Petri nets, Part 1, LNCS 254, Ed by W.Brauer, W.Reisig, G.Rozenberg, Springer-Verlag, 1987

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

1. Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems;Application and Theory of Petri Nets and Concurrency;2023

2. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net;Technological Innovation for Connected Cyber Physical Spaces;2023

3. Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets;2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2022-10-09

4. Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus;SPIE Proceedings;2017-08-07

5. On Liveness and Deadlockability in Subclasses of Weighted Petri Nets;Application and Theory of Petri Nets and Concurrency;2017