A survey of siphons in Petri nets
From MaRDI portal
Publication:2279728
Recommendations
- scientific article; zbMATH DE number 6453366
- On liveness and controlled siphons in Petri nets
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- scientific article; zbMATH DE number 3922334
- A survey of Petri net methods for controlled discrete event systems
Cites work
- scientific article; zbMATH DE number 4045165 (Why is no real title available?)
- scientific article; zbMATH DE number 3506178 (Why is no real title available?)
- scientific article; zbMATH DE number 3557247 (Why is no real title available?)
- scientific article; zbMATH DE number 1302048 (Why is no real title available?)
- scientific article; zbMATH DE number 1836363 (Why is no real title available?)
- scientific article; zbMATH DE number 777433 (Why is no real title available?)
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
- Applications and Theory of Petri Nets 2005
- Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets
- Deadlock prevention policy based on Petri nets and siphons
- Design and implementation of a Petri net based supervisor for a flexible manufacturing system
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
- Elementary-siphon-based control policy for flexible manufacturing systems with partial observability and controllability of transitions
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- Feedback control of Petri nets based on place invariants
- Free Choice Petri Nets
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
- Liveness of an extended S\(^{3}\)PR
- Marked directed graphs
- Necessary and sufficient liveness condition of GS3PR Petri nets
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- On liveness and controlled siphons in Petri nets
- On structural minimality of optimal supervisors for flexible manufacturing systems
- On the enforcement of a class of nonlinear constraints on Petri nets
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
- Petri nets for modeling of dynamic systems -- a survey
- Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
- Robustness analysis of holonic assembly/disassembly processes with Petri nets
- Robustness of deadlock avoidance algorithms for sequential processes.
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Structural methods for the control of discrete event dynamic systems -- the case of the resource allocation problem
- Structure reduction of liveness-enforcing Petri nets using mixed integer programming
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- Supervisor reconfiguration for deadlock prevention by resources reallocation
- Supervisory control of concurrent systems. A Petri net structural approach.
- Understanding Petri Nets
- Verification of siphons and traps for algebraic Petri nets
Cited in
(13)- A Petri net approach to consensus in networks with joint-agent interactions
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
- Symbolic and structural model-checking
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Deadlock and collision avoidance in railway networks with dynamic routing: a Petri net approach with partial controllability and observability
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
- Structural reductions revisited
- Improvement on `structure of weakly 2-dependent siphons'
- Deadlock analysis and control using Petri net decomposition techniques
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
- Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
This page was built for publication: A survey of siphons in Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279728)
