FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104908239> ?p ?o ?g. }

• W2104908239 abstract "Liveness is usually enforced by designing a supervisor that is supervisory in nature disabling events which otherwise would lead to the violation of the liveness specification. The supervisor is theoretically and practically expected to be maximally permissive such that it restricts the behavior of the plant (system under control) in a least restrictive manner while the liveness specification is not violated. However, the existence of a supervisory policy that enforces liveness in an arbitrary Petri net is undecidable. Based on elementary siphons of Petri nets, we develop a polynomial complexity approach to decide the existence of a maximally permissive monitor based liveness-enforcing Petri net supervisor for a subclass of Petri nets, S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3</sup> PR that can well model a large class of flexible manufacturing systems. The results obtained in this paper are based on the computation of the set of elementary siphons and siphon composition operations in an S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3</sup> PR in our previous work, which has been shown to be of polynomial complexity with respect to the size of an S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3</sup> PR." @default.
• W2104908239 created "2016-06-24" @default.
• W2104908239 creator A5045305170 @default.
• W2104908239 creator A5081318069 @default.
• W2104908239 date "2009-03-01" @default.
• W2104908239 modified "2023-09-26" @default.
• W2104908239 title "A polynomial-complexity approach to decide the existence of a maximally permissive Petri net supervisor using elementary siphons" @default.
• W2104908239 cites W1479723887 @default.
• W2104908239 cites W152515096 @default.
• W2104908239 cites W1546456762 @default.
• W2104908239 cites W1962985716 @default.
• W2104908239 cites W1996109622 @default.
• W2104908239 cites W2049252484 @default.
• W2104908239 cites W2059057465 @default.
• W2104908239 cites W2099550549 @default.
• W2104908239 cites W2099584921 @default.
• W2104908239 cites W2103198692 @default.
• W2104908239 cites W2104367108 @default.
• W2104908239 cites W2105090403 @default.
• W2104908239 cites W2105435021 @default.
• W2104908239 cites W2108678912 @default.
• W2104908239 cites W2111126894 @default.
• W2104908239 cites W2113418311 @default.
• W2104908239 cites W2122471000 @default.
• W2104908239 cites W2124901174 @default.
• W2104908239 cites W2140872435 @default.
• W2104908239 cites W2141563078 @default.
• W2104908239 cites W2143714396 @default.
• W2104908239 cites W2146738006 @default.
• W2104908239 cites W2149273136 @default.
• W2104908239 cites W2152272339 @default.
• W2104908239 cites W2584118703 @default.
• W2104908239 cites W332683046 @default.
• W2104908239 cites W2475900977 @default.
• W2104908239 doi "https://doi.org/10.1109/icnsc.2009.4919347" @default.
• W2104908239 hasPublicationYear "2009" @default.
• W2104908239 type Work @default.
• W2104908239 sameAs 2104908239 @default.
• W2104908239 citedByCount "1" @default.
• W2104908239 countsByYear W21049082392012 @default.
• W2104908239 crossrefType "proceedings-article" @default.
• W2104908239 hasAuthorship W2104908239A5045305170 @default.
• W2104908239 hasAuthorship W2104908239A5081318069 @default.
• W2104908239 hasConcept C11413529 @default.
• W2104908239 hasConcept C120314980 @default.
• W2104908239 hasConcept C134306372 @default.
• W2104908239 hasConcept C154945302 @default.
• W2104908239 hasConcept C15569618 @default.
• W2104908239 hasConcept C17744445 @default.
• W2104908239 hasConcept C197551870 @default.
• W2104908239 hasConcept C199539241 @default.
• W2104908239 hasConcept C2775924081 @default.
• W2104908239 hasConcept C2777212361 @default.
• W2104908239 hasConcept C2779110517 @default.
• W2104908239 hasConcept C311688 @default.
• W2104908239 hasConcept C33923547 @default.
• W2104908239 hasConcept C38677869 @default.
• W2104908239 hasConcept C41008148 @default.
• W2104908239 hasConcept C80444323 @default.
• W2104908239 hasConcept C90119067 @default.
• W2104908239 hasConcept C92991967 @default.
• W2104908239 hasConceptScore W2104908239C11413529 @default.
• W2104908239 hasConceptScore W2104908239C120314980 @default.
• W2104908239 hasConceptScore W2104908239C134306372 @default.
• W2104908239 hasConceptScore W2104908239C154945302 @default.
• W2104908239 hasConceptScore W2104908239C15569618 @default.
• W2104908239 hasConceptScore W2104908239C17744445 @default.
• W2104908239 hasConceptScore W2104908239C197551870 @default.
• W2104908239 hasConceptScore W2104908239C199539241 @default.
• W2104908239 hasConceptScore W2104908239C2775924081 @default.
• W2104908239 hasConceptScore W2104908239C2777212361 @default.
• W2104908239 hasConceptScore W2104908239C2779110517 @default.
• W2104908239 hasConceptScore W2104908239C311688 @default.
• W2104908239 hasConceptScore W2104908239C33923547 @default.
• W2104908239 hasConceptScore W2104908239C38677869 @default.
• W2104908239 hasConceptScore W2104908239C41008148 @default.
• W2104908239 hasConceptScore W2104908239C80444323 @default.
• W2104908239 hasConceptScore W2104908239C90119067 @default.
• W2104908239 hasConceptScore W2104908239C92991967 @default.
• W2104908239 hasLocation W21049082391 @default.
• W2104908239 hasOpenAccess W2104908239 @default.
• W2104908239 hasPrimaryLocation W21049082391 @default.
• W2104908239 hasRelatedWork W1482220564 @default.
• W2104908239 hasRelatedWork W1981053961 @default.
• W2104908239 hasRelatedWork W2019101616 @default.
• W2104908239 hasRelatedWork W2031072026 @default.
• W2104908239 hasRelatedWork W2056103937 @default.
• W2104908239 hasRelatedWork W2058519116 @default.
• W2104908239 hasRelatedWork W2060113263 @default.
• W2104908239 hasRelatedWork W2067228647 @default.
• W2104908239 hasRelatedWork W2083294517 @default.
• W2104908239 hasRelatedWork W2099078695 @default.
• W2104908239 hasRelatedWork W2103137890 @default.
• W2104908239 hasRelatedWork W2112963513 @default.
• W2104908239 hasRelatedWork W2116894546 @default.
• W2104908239 hasRelatedWork W2126445797 @default.
• W2104908239 hasRelatedWork W2150093018 @default.
• W2104908239 hasRelatedWork W2156143635 @default.
• W2104908239 hasRelatedWork W2169750755 @default.
• W2104908239 hasRelatedWork W2744333953 @default.

• next