Matches in SemOpenAlex for { <https://semopenalex.org/work/W4377704713> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4377704713 abstract "This paper presents a liveness-enforcing supervisor synthesis technique for the Petri Net Model (PNM) of flexible manufacturing systems (FMSs). Particularly, the Petri net (PN) is an appropriate method to prevent deadlocks arising from FMS. We present a model of an S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>4</sup> PR as a general class of PN that can solve the deadlock handling of FMSs. An effective subclass of PN modeled by S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>4</sup> PR: systems of sequential systems with shared resources can be used to model many FMSs well. Siphons are given an effective tool to characterize deadlock (DL) situations and solve DL in PNs that model FMS. Two approaches are specified as PNs for the deadlock control to design monitors for siphons in S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>4</sup> PR-net. The first one has controlled methods by adding a proper control place (CP), and the second uses optimal control transitions (CTs). Besides, the specification supervisor leads to a liveness-enforcing PNs supervisor for behavior that is more permissive. These methods are verified by an FMS example, which could be modeled by an S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>4</sup> PR net, and is presented in a maximally permissive way." @default.
- W4377704713 created "2023-05-24" @default.
- W4377704713 creator A5030148688 @default.
- W4377704713 date "2023-02-16" @default.
- W4377704713 modified "2023-10-17" @default.
- W4377704713 title "Design of Liveness-Enforcing Supervisors for FMSs Modeled by S<sup>4</sup>PR with Controllable Places and Transitions" @default.
- W4377704713 cites W1561892094 @default.
- W4377704713 cites W1600154216 @default.
- W4377704713 cites W2072697401 @default.
- W4377704713 cites W2413654032 @default.
- W4377704713 cites W2582089166 @default.
- W4377704713 cites W2765298273 @default.
- W4377704713 cites W2775379516 @default.
- W4377704713 cites W2883641434 @default.
- W4377704713 cites W2896112909 @default.
- W4377704713 cites W2982241419 @default.
- W4377704713 cites W2995423747 @default.
- W4377704713 cites W3002814017 @default.
- W4377704713 cites W3007418408 @default.
- W4377704713 cites W3098312841 @default.
- W4377704713 cites W3116341551 @default.
- W4377704713 cites W3136084473 @default.
- W4377704713 cites W3138987213 @default.
- W4377704713 cites W3169870032 @default.
- W4377704713 cites W3187296785 @default.
- W4377704713 cites W4210640912 @default.
- W4377704713 cites W4210700034 @default.
- W4377704713 cites W4220946067 @default.
- W4377704713 cites W4221119981 @default.
- W4377704713 cites W4285286624 @default.
- W4377704713 cites W4312297151 @default.
- W4377704713 doi "https://doi.org/10.1109/iccosite57641.2023.10127786" @default.
- W4377704713 hasPublicationYear "2023" @default.
- W4377704713 type Work @default.
- W4377704713 citedByCount "0" @default.
- W4377704713 crossrefType "proceedings-article" @default.
- W4377704713 hasAuthorship W4377704713A5030148688 @default.
- W4377704713 hasConcept C113429609 @default.
- W4377704713 hasConcept C11413529 @default.
- W4377704713 hasConcept C120314980 @default.
- W4377704713 hasConcept C154945302 @default.
- W4377704713 hasConcept C15569618 @default.
- W4377704713 hasConcept C159023740 @default.
- W4377704713 hasConcept C17744445 @default.
- W4377704713 hasConcept C199539241 @default.
- W4377704713 hasConcept C2775924081 @default.
- W4377704713 hasConcept C2779110517 @default.
- W4377704713 hasConcept C38677869 @default.
- W4377704713 hasConcept C41008148 @default.
- W4377704713 hasConcept C80444323 @default.
- W4377704713 hasConcept C92991967 @default.
- W4377704713 hasConceptScore W4377704713C113429609 @default.
- W4377704713 hasConceptScore W4377704713C11413529 @default.
- W4377704713 hasConceptScore W4377704713C120314980 @default.
- W4377704713 hasConceptScore W4377704713C154945302 @default.
- W4377704713 hasConceptScore W4377704713C15569618 @default.
- W4377704713 hasConceptScore W4377704713C159023740 @default.
- W4377704713 hasConceptScore W4377704713C17744445 @default.
- W4377704713 hasConceptScore W4377704713C199539241 @default.
- W4377704713 hasConceptScore W4377704713C2775924081 @default.
- W4377704713 hasConceptScore W4377704713C2779110517 @default.
- W4377704713 hasConceptScore W4377704713C38677869 @default.
- W4377704713 hasConceptScore W4377704713C41008148 @default.
- W4377704713 hasConceptScore W4377704713C80444323 @default.
- W4377704713 hasConceptScore W4377704713C92991967 @default.
- W4377704713 hasLocation W43777047131 @default.
- W4377704713 hasOpenAccess W4377704713 @default.
- W4377704713 hasPrimaryLocation W43777047131 @default.
- W4377704713 hasRelatedWork W2003140932 @default.
- W4377704713 hasRelatedWork W2009513798 @default.
- W4377704713 hasRelatedWork W2019101616 @default.
- W4377704713 hasRelatedWork W2149110313 @default.
- W4377704713 hasRelatedWork W2345843372 @default.
- W4377704713 hasRelatedWork W2352515708 @default.
- W4377704713 hasRelatedWork W2355217345 @default.
- W4377704713 hasRelatedWork W2550419340 @default.
- W4377704713 hasRelatedWork W4206247830 @default.
- W4377704713 hasRelatedWork W762529049 @default.
- W4377704713 isParatext "false" @default.
- W4377704713 isRetracted "false" @default.
- W4377704713 workType "article" @default.