Linear algebraic and linear programming techniques for the analysis of place/transition net systems-Reference-Cited by-同舟云学术

Linear algebraic and linear programming techniques for the analysis of place/transition net systems

Published:1998 Issue: Volume: Page:309-373
ISSN:0302-9743
Container-title:Lectures on Petri Nets I: Basic Models
language:
Short-container-title:

Author:

Silva Manuel,Terue Enrique,Colom José Manuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-65306-6_19.pdf

Reference95 articles.

1. H. Alaiwan and J. M. Toudic. Recherche des semi-flots, des verrous et des trappes dans les réseaux de Petri. Technique et Science Informatiques, 4(1):103–112, 1985.

2. E. Badouel and P. Darondeau. A survey on net synthesis. In Borne et al. [9], pages 309–316.

3. Z. A. Banaszak and B. H. Krogh. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. on Robotics and Automation, 6(6):724–734, 1990.

4. K. Barkaoui and M. Minoux. A polynomial-time graph algorithm to decide liveness of some basic: classes of bounded Petri nets. In Jensen [42], pages 62–75.

5. K. Barkaoui and J. F. Pradat-Peyre. On liveness and controlled siphons in Petri nets. In Billington and Reisig [8], pages 57–72.

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

1. The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024-02

2. Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation;Lecture Notes in Computer Science;2024

3. A Toolchain to Compute Concurrent Places of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01

4. Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01

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