Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao IEEE Transactions on...arrow_drop_down
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans
Article . 2012 . Peer-reviewed
License: IEEE Copyright
Data sources: Crossref
DBLP
Article
Data sources: DBLP
versions View all 2 versions
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

Controllability Conditions of Resultant Siphons in a Class of Petri Nets

Authors: ShouGuang Wang; Chengying Wang; MengChu Zhou;

Controllability Conditions of Resultant Siphons in a Class of Petri Nets

Abstract

Strict minimal siphons (SMSs) play a key role in the development of deadlock prevention policies by using Petri nets for flexible manufacturing systems (FMSs). In this paper, given two SMSs and their resultant siphon, the concept of key resource subsets is proposed which is shown to be the critical factor in deciding the controllability conditions of the latter. A necessary and sufficient condition is then proposed under which the resultant siphon can be always marked if its two SMSs are M-controlled, i.e., invariant controlled via the method proposed by Moody and Antsaklis. As for a resultant siphon that is composed by more than two composable SMSs, a sufficient condition is proposed under which it can be always marked if its SMSs are M-controlled. They are established by analyzing the structural characteristics and markings of the resource subnets in a class of Petri nets called L-S3PR. When they are applied to some classes of S3PR nets, i.e., those whose controlled ones are maximally permissive and live once their original SMSs are M-controlled, the number of monitors may be reduced. An FMS example is used to illustrate the application of the results.

Related Organizations
  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    58
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Top 10%
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
58
Top 10%
Top 10%
Top 10%
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!