Abstract

A controllability condition of a siphon composed of three elementary ones in a class of Petri nets, namely S 3 PR, is developed. Under the condition, a maximally permissive liveness-enforcing supervisor expressed by a set of monitors (control places) can be decided by an algorithm with polynomial complexity for an S 3 PR if every dependent siphon is m -composed with m ≤ 3.

Full Text

Published Version
Open DOI Link

Topics from this Paper

  • Class Of Petri Nets
  • Dependent Siphon
  • Class Of Nets
  • Elementary Ones
  • Permissive Supervisor
    • + 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

Optimal controllability of 2-composed siphons in a class of Petri nets
  • Electronics Letters
  • Nov 22, 2012
Relevant
Not Relevant
Modeling and analysis of manufacturing systems using a new class of Petri nets
  • Jul 6, 2004
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
A Deadlock Prevention Policy for a Class of Petri Nets S^3PMR
  • Journal of Information Science and Engineering
  • Jan 1, 2009
Relevant
Not Relevant
A deadlock prevention policy for a class of Petri net models of flexible manufacturing systems
  • International Journal of Production Research
  • Dec 15, 2011
Relevant
Not Relevant
Petri nets with k simultaneously enabled generally distributed timed transitions
  • Performance Evaluation
  • Feb 1, 1998
Relevant
Not Relevant
Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR
  • Feb 1, 2015
Relevant
Not Relevant
A Siphon-based Deadlock Prevention Policy for a Class of Petri Nets - S3PMR
  • IFAC Proceedings Volumes
  • Jan 1, 2008
Relevant
Not Relevant
Pomsets and Unfolding of Reset Petri Nets
  • Apr 9, 2018
Relevant
Not Relevant
Integer Linear Programming and the Analysis of Some Petri Net Problems
  • Theory of Computing Systems
  • Aug 1, 1999
Relevant
Not Relevant
Design of a more permissive and structurally simple liveness-enforcing Petri net supervisor for flexible manufacturing systems
  • 30th Annual Conference of IEEE Industrial Electronics Society, 2004. IECON 2004
  • Nov 2, 2004
Relevant
Not Relevant
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
Petri Net Transformations in the ≫Petri Net Baukasten≪
  • Jan 1, 2003
Relevant
Not Relevant
A class of Petri nets for manufacturing system integration
  • IEEE Transactions on Robotics and Automation
  • Jun 1, 1997
Relevant
Not Relevant
Two theoretical and practical aspects of knitting technique: invariants and a new class of Petri net
  • IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)
  • Dec 1, 1997
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
Self‐calibrating circuit for phase correction to support phased array antenna systems
Open Access
  • Electronics Letters
  • Nov 1, 2023
Relevant
Not Relevant