Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

No abstract is available for this paper.

• Publication year

  2017

• Venue

  IEEE Transactions on Automatic Control

• Publication date

  2017-03-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/TAC.2016.2585647
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets

  2016cited by this paper
• A branch and bound approach for the design of decentralized supervisors in Petri net models

  2015cited by this paper
• Decentralized Supervision of Petri Nets With a Coordinator

  2015cited by this paper
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

  2015cited by this paper
• Fault model identification and synthesis in Petri nets

  2014cited by this paper
• A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures

  2014cited by this paper
• An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

  2013cited by this paper
• Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models

  2013cited by this paper
• Supervisory Control of Petri Nets with Language Specifications

  2013cited by this paper
• Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms

  2013cited by this paper
• Efficient design of Petri-net supervisors with disjunctive specifications

  2013cited by this paper
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

  2012cited by this paper
• Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review

  2012cited by this paper
• Approach for Transforming Linear Constraints on Petri Nets

  2011cited by this paper
• A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions

  2011cited by this paper
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

  2011cited by this paper
• Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets

  2009cited by this paper
• On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets

  2008cited by this paper
• Combined Supervisor Synthesis for Enforcing GMECs on a Controlled Petri Net

  2007cited by this paper
• Feedback Control Logic for Backward Conflict Free Choice Nets

  2007cited by this paper
• An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

  2007cited by this paper
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

  2006cited by this paper
• Supervision Based on Place Invariants: A Survey

  2006cited by this paper
• Supervisor synthesis for a class of forbidden state problems in Petri nets

  2006cited by this paper
• An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems

  2006cited by this paper
• Fault detection for discrete event systems using Petri nets with unobservable transitions

  2005cited by this paper
• Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

  2004cited by this paper
• Computing bounds for forbidden State reachability functions for controlled Petri nets

  2004cited by this paper
• Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system

  2003cited by this paper
• Petri net supervisors for DES with uncontrollable and unobservable transitions

  2000cited by this paper
• A Survey of Petri Net Methods for Controlled Discrete Event Systems

  1997cited by this paper
• A Petri net based deadlock prevention policy for flexible manufacturing systems

  1995cited by this paper
• Control of vector discrete-event systems. I. The base model

  1993cited by this paper
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• The control of discrete event systems

  1989cited by this paper
• Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors

  1913cited by this paper
• Discrete Event Dynamic Systems: Theory and Applications Manuscript No. Maximally Permissive Deadlock Avoidance for Resource Allocation Systems with R/w-locks

  year unknowncited by this paper

• Supervisory control of Petri nets with uncontrollable and unobservable transitions under replacement attacks

  2026cites this paper
• Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata

  2024cites this paper
• Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications

  2024cites this paper
• Synchronization Analysis for State-Dependent Spiking Switched Neural Networks

  2024cites this paper
• Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints

  2024cites this paper
• Dynamic process model optimization method based on concept drift detection

  2024cites this paper
• Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net

  2023cites this paper
• Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets

  2023cites this paper
• Robust Diagnosability Analysis Using Basis Reachability Graph

  2023cites this paper
• Design of supervisors for linear marking specifications in labeled Petri nets

  2022cites this paper
• The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems

  2022cites this paper
• Current-state opacity verification in discrete event systems using an observer net

  2022cites this paper
• Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints

  2022cites this paper
• Fault diagnosis of PLC-based discrete event systems using Petri nets

  2022cites this paper
• Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

  2022cites this paper
• Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation

  2021cites this paper
• Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets

  2021cites this paper
• Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation

  2021cites this paper
• Configuration-Dependent Stochastic Reward Nets

  2020cites this paper
• On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets

  2020cites this paper
• An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks

  2020cites this paper
• On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets

  2020cites this paper
• Homomorphic Encryption of Supervisory Control Systems Using Automata

  2020cites this paper
• Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs

  2020cites this paper
• Marking Estimation in a Class of Time Labeled Petri Nets

  2020cites this paper
• Hazard Analysis of Bidder Collusion in Reverse Auctions Based on Petri Nets

  2020cites this paper
• Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming

  2020cites this paper
• A Pareto-based genetic algorithm for multi-objective scheduling of automated manufacturing systems

  2020cites this paper
• Path planning for automated guided vehicle systems with time constraints using timed Petri nets

  2020cites this paper
• On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems

  2020cites this paper
• Diagnosability of Vector Discrete-Event Systems Using Predicates

  2019cites this paper
• An Efficient Deadlock Recovery Policy for Flexible Manufacturing Systems Modeled With Petri Nets

  2019cites this paper
• On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets.

  2019cites this paper
• Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions

  2019cites this paper
• Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach

  2019cites this paper
• Deadlock analysis and control using Petri net decomposition techniques

  2019cites this paper
• A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges

  2019cites this paper
• Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources

  2019cites this paper
• Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.

  2019cites this paper
• Modules of Petri nets and new Petri net structure: Arcs with a weighted function set

  2019cites this paper
• On state-space compression and state reachability retrieval of Petri nets

  2019cites this paper
• An improved approach for marking optimization of timed weighted marked graphs

  2019cites this paper
• A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis

  2019cites this paper
• Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location

  2019cites this paper
• On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets

  2019cites this paper
• Supervisory Control in Partially Observable Petri Nets with Sensor Reduction

  2019cites this paper
• Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets

  2019cites this paper
• A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets

  2019cites this paper
• Context-free Forbidden Path Control of Net Condition/Event Systems

  2019cites this paper
• Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle

  2019cites this paper
• Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs

  2018cites this paper
• Aalborg Universitet Transformation of Business Process Model and Notation models onto Petri nets and their analysis

  2018cites this paper
• Design of Monitor-based Supervisors in Labelled Petri Nets

  2018cites this paper
• Simulation and analysis of reconfigurable assembly systems based on R-TNCES

  2018cites this paper
• Transformation of Business Process Model and Notation models onto Petri nets and their analysis

  2018cites this paper
• Liveness characteristic analysis of a class of Petri nets

  2018cites this paper
• Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints

  2018cites this paper
• Optimal enforcement of liveness to flexible manufacturing systems modeled with Petri nets via transition-based controllers

  2018cites this paper
• Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement

  2018cites this paper
• Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems

  2018cites this paper
• State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems

  2018cites this paper
• Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets

  2018cites this paper
• A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions

  2018influential citation
• Random Fuzzy Cost-Profit Equilibrium Model for Locating a Discrete Service Enterprise

  2018cites this paper
• Fault Diagnosis in Partially Observed Petri Nets Using Redundancies

  2018cites this paper
• Performance analysis of reverse auction mechanisms based on Petri nets

  2017cites this paper
• Deadlock and liveness characterization for a class of generalized Petri nets

  2017cites this paper
• Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets

  2017cites this paper
• Computation of admissible marking sets in weighted state machines by dynamic programming

  2017influential citation
• Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions

  2017cites this paper
• A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems

  2017cites this paper
• Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators

  2016cites this paper
• Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach

  2015cites this paper