Abstract

Proposesd is a controllability condition of a siphon that is composed of two elementary siphons in a class of Petri nets, Systems of Simple Sequential Processes with Resources (S3PR). It is shown that, under the condition, an S3PR admits a maximally permissive liveness-enforcing supervisor that is expressed by a set of monitors if every dependent siphon is 2-composed, which can be decided by an algorithm with polynomial complexity.

Full Text

Published Version
Open DOI Link

Topics from this Paper

  • Class Of Petri Nets
  • Systems Of Simple Sequential Processes
  • Elementary Siphons
  • Dependent Siphon
  • Class Of Nets
    • + Show 5 more

Create a personalized feed of these topics

Get Started

Get access to 115M+ research papers

Discover from 40M+ Open access, 2M+ Pre-prints, 9.5M Topics and 32K+ Journals.

Sign Up Now! It's FREE

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Modified definition of characteristic P-vector for elementary siphons in a class of Petri nets
  • IET Control Theory & Applications
  • May 1, 2010
Relevant
Not Relevant
On Siphon Computation for Deadlock Control in a Class of Petri Nets
  • IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
  • May 1, 2008
Relevant
Not Relevant
Modeling and analysis of manufacturing systems using a new class of Petri nets
  • Jul 6, 2004
Relevant
Not Relevant
Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR
  • Feb 1, 2015
Relevant
Not Relevant
Structure of weakly 2-dependent siphons
  • International Journal of Control
  • Sep 1, 2013
Relevant
Not Relevant
An extraction algorithm for a set of elementary siphons based on mixed-integer programming
  • Journal of Systems Science and Systems Engineering
  • Mar 13, 2012
Relevant
Not Relevant
A Polynomial Algorithm for Computing Elementary Siphons in a Class of Petri Nets
  • Asian Journal of Control
  • Dec 22, 2011
Relevant
Not Relevant
An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets
  • IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
  • Jul 1, 2009
Relevant
Not Relevant
Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource Requirements)
  • The Computer Journal
  • Dec 1, 2010
Relevant
Not Relevant
Controllability for siphons in S<sup>3</sup>PGR<sup>2</sup>
  • Sep 1, 2009
Relevant
Not Relevant
Liveness characteristic analysis of a class of Petri nets
  • Advances in Mechanical Engineering
  • Jun 27, 2018
Relevant
Not Relevant
Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems
  • IEEE Access
  • Jan 1, 2018
Relevant
Not Relevant
A polynomial algorithm to find a set of elementary siphons in a class of Petri nets
  • Jan 1, 2004
Relevant
Not Relevant
Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons
  • Journal of Intelligent Manufacturing
  • Jul 16, 2013
Relevant
Not Relevant
Combinatorics‐based estimation of reachable states for the system of simple sequential process with resources
  • IEEJ Transactions on Electrical and Electronic Engineering
  • Jun 1, 2016
Relevant
Not Relevant
READ MORE FROM

Electronics Letters

Exploitation of SAS interferometric phase statistics for coherent change detection
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
Towards low‐complexity state estimation for rigid bodies based on range difference measurements
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
State monitoring of switching power supply in power system based on time series voltage waveform and image analysis
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
Design of a novel stripline diplexer using frequency‐dependent couplings
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
Equivalence of knife‐edge diffraction model and uniform geometrical theory of diffraction applying Fresnel approximation for an absorbing screen
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
Compact folded‐shorted patch array offering dual‐band operation and dual‐circularly polarized radiation for picosatellites and other small satellites
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
Asynchronous SAR ADC with self‐timed track‐and‐hold
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
An energy consumption minimization resource allocation strategy in satellite‐terrestrial communication networks
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
Design methodology for high‐performance low‐cost microstrip termination load for mmWave applications
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant
A lightweight true random number generator based on multi‐stage sampling the current starve based ring oscillator
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant