Matches in SemOpenAlex for { <https://semopenalex.org/work/W2969897625> ?p ?o ?g. }
- W2969897625 endingPage "121349" @default.
- W2969897625 startingPage "121332" @default.
- W2969897625 abstract "Petri nets are an important and popular tool to model and analyze deadlocks in automated manufacturing systems. The state space of a Petri net model can be divided into two disjoint parts: a live-zone and a dead-zone. A first-met bad marking (FBM) is a marking in the dead-zone, representing the very first entry from the live-zone to the dead-zone, and the calculation of FBMs to a large extent contributes to the complexity of designing optimal liveness-enforcing supervisors. Most existing studies have to fully enumerate the reachable markings of a Petri net model to obtain the FBMs, which exacerbates the computational overheads. This paper first explores a variation mechanism of calculating FBMs with respect to the resource capacity in a class of S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3</sup> PR (Systems of Simple Sequential Processes with Resources) from the structural analysis perspective, which contains a ξ-resource. More generally, for the class of S <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>3</sup> PR with an η-resource as defined in this paper, the FBMs can be calculated in an algebraic way by a customized structural analysis technique without enumerating all the reachable markings. Finally, the variation mechanism of calculating FBMs is revealed for these considered classes of Petri net models. Examples are given to demonstrate the proposed method." @default.
- W2969897625 created "2019-08-29" @default.
- W2969897625 creator A5008340413 @default.
- W2969897625 creator A5010559526 @default.
- W2969897625 creator A5045305170 @default.
- W2969897625 creator A5047932411 @default.
- W2969897625 creator A5079434327 @default.
- W2969897625 creator A5090664309 @default.
- W2969897625 date "2019-01-01" @default.
- W2969897625 modified "2023-10-15" @default.
- W2969897625 title "On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets" @default.
- W2969897625 cites W1915570783 @default.
- W2969897625 cites W1965215820 @default.
- W2969897625 cites W1996109622 @default.
- W2969897625 cites W2002235729 @default.
- W2969897625 cites W2005217875 @default.
- W2969897625 cites W2022250047 @default.
- W2969897625 cites W2035556324 @default.
- W2969897625 cites W2041853864 @default.
- W2969897625 cites W2048456685 @default.
- W2969897625 cites W2060084509 @default.
- W2969897625 cites W2072304766 @default.
- W2969897625 cites W2086414784 @default.
- W2969897625 cites W2092893907 @default.
- W2969897625 cites W2093499484 @default.
- W2969897625 cites W2132355828 @default.
- W2969897625 cites W2135886503 @default.
- W2969897625 cites W2140872435 @default.
- W2969897625 cites W2141563078 @default.
- W2969897625 cites W2144623944 @default.
- W2969897625 cites W2147281200 @default.
- W2969897625 cites W2150974097 @default.
- W2969897625 cites W2154637219 @default.
- W2969897625 cites W2284540796 @default.
- W2969897625 cites W2294580796 @default.
- W2969897625 cites W2342897103 @default.
- W2969897625 cites W2344326925 @default.
- W2969897625 cites W2344852273 @default.
- W2969897625 cites W2345051373 @default.
- W2969897625 cites W2403044140 @default.
- W2969897625 cites W2461900131 @default.
- W2969897625 cites W2511769035 @default.
- W2969897625 cites W2523482717 @default.
- W2969897625 cites W2536985169 @default.
- W2969897625 cites W2538443008 @default.
- W2969897625 cites W2553653057 @default.
- W2969897625 cites W2580382314 @default.
- W2969897625 cites W2594563654 @default.
- W2969897625 cites W2613548800 @default.
- W2969897625 cites W2614826960 @default.
- W2969897625 cites W2735669400 @default.
- W2969897625 cites W2740263124 @default.
- W2969897625 cites W2741060909 @default.
- W2969897625 cites W2759976471 @default.
- W2969897625 cites W2765202909 @default.
- W2969897625 cites W2767138686 @default.
- W2969897625 cites W2773002878 @default.
- W2969897625 cites W2776443426 @default.
- W2969897625 cites W2777104519 @default.
- W2969897625 cites W2777658276 @default.
- W2969897625 cites W2783183134 @default.
- W2969897625 cites W2795774084 @default.
- W2969897625 cites W2799338570 @default.
- W2969897625 cites W2800404248 @default.
- W2969897625 cites W2884266744 @default.
- W2969897625 cites W2884404272 @default.
- W2969897625 cites W2894484260 @default.
- W2969897625 cites W2894979619 @default.
- W2969897625 cites W2897874121 @default.
- W2969897625 cites W2905463492 @default.
- W2969897625 cites W2906830113 @default.
- W2969897625 cites W2914255553 @default.
- W2969897625 doi "https://doi.org/10.1109/access.2019.2936052" @default.
- W2969897625 hasPublicationYear "2019" @default.
- W2969897625 type Work @default.
- W2969897625 sameAs 2969897625 @default.
- W2969897625 citedByCount "27" @default.
- W2969897625 countsByYear W29698976252019 @default.
- W2969897625 countsByYear W29698976252020 @default.
- W2969897625 countsByYear W29698976252021 @default.
- W2969897625 countsByYear W29698976252022 @default.
- W2969897625 countsByYear W29698976252023 @default.
- W2969897625 crossrefType "journal-article" @default.
- W2969897625 hasAuthorship W2969897625A5008340413 @default.
- W2969897625 hasAuthorship W2969897625A5010559526 @default.
- W2969897625 hasAuthorship W2969897625A5045305170 @default.
- W2969897625 hasAuthorship W2969897625A5047932411 @default.
- W2969897625 hasAuthorship W2969897625A5079434327 @default.
- W2969897625 hasAuthorship W2969897625A5090664309 @default.
- W2969897625 hasBestOaLocation W29698976251 @default.
- W2969897625 hasConcept C11413529 @default.
- W2969897625 hasConcept C116834253 @default.
- W2969897625 hasConcept C118615104 @default.
- W2969897625 hasConcept C134306372 @default.
- W2969897625 hasConcept C154945302 @default.
- W2969897625 hasConcept C15569618 @default.
- W2969897625 hasConcept C159023740 @default.
- W2969897625 hasConcept C197551870 @default.