A survey of siphons in Petri nets
From MaRDI portal
Publication:2279728
DOI10.1016/J.INS.2015.08.037zbMATH Open1427.68204OpenAlexW1925800244MaRDI QIDQ2279728FDOQ2279728
Authors: Kamel Barkaoui, Gaiyun Liu 
Publication date: 13 December 2019
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2015.08.037
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
- Free Choice Petri Nets
- Marked directed graphs
- Title not available (Why is that?)
- Understanding Petri Nets
- Petri nets for modeling of dynamic systems -- a survey
- Feedback control of Petri nets based on place invariants
- Supervisory control of concurrent systems. A Petri net structural approach.
- Title not available (Why is that?)
- On the enforcement of a class of nonlinear constraints on Petri nets
- 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
- Deadlock prevention policy based on Petri nets and siphons
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems
- Title not available (Why is that?)
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Design and implementation of a Petri net based supervisor for a flexible manufacturing system
- Liveness of an extended S\(^{3}\)PR
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
- On liveness and controlled siphons in Petri nets
- Robustness analysis of holonic assembly/disassembly processes with Petri nets
- Robustness of deadlock avoidance algorithms for sequential processes.
- Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
- Verification of siphons and traps for algebraic Petri nets
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
- Applications and Theory of Petri Nets 2005
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
- Title not available (Why is that?)
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- Supervisor reconfiguration for deadlock prevention by resources reallocation
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- Necessary and sufficient liveness condition of GS3PR Petri nets
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- 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
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
- Structure reduction of liveness-enforcing Petri nets using mixed integer programming
- Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets
- Structural methods for the control of discrete event dynamic systems -- the case of the resource allocation problem
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)
