Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313201564> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4313201564 endingPage "328" @default.
- W4313201564 startingPage "322" @default.
- W4313201564 abstract "This work introduces novel structural conditions to guarantee the liveness of Mono T-Semiflow (MTS) systems for any valid initial marking. In particular it shows that in MTS the existence of problematic choice-join pairs, a pure structural objects, is equivalent to the existence of transition firing sequences leading to deadlock markings. Moreover, such sequences always include an output transition of a choice place pc, capable of removing all the tokens from pc, but incapable of marking all the input places of a join transition tj In this situation tj will be dead, and since the net is MTS, then the net will reach a deadlock marking." @default.
- W4313201564 created "2023-01-06" @default.
- W4313201564 creator A5004063091 @default.
- W4313201564 creator A5021408366 @default.
- W4313201564 creator A5062463584 @default.
- W4313201564 creator A5081410079 @default.
- W4313201564 date "2022-01-01" @default.
- W4313201564 modified "2023-10-18" @default.
- W4313201564 title "On liveness analysis in mono-T-semiflow Petri nets based on choice-join pairs" @default.
- W4313201564 cites W1567452221 @default.
- W4313201564 cites W1996109622 @default.
- W4313201564 cites W2004779317 @default.
- W4313201564 cites W2042244914 @default.
- W4313201564 cites W2097790134 @default.
- W4313201564 cites W2139163552 @default.
- W4313201564 cites W2806501132 @default.
- W4313201564 cites W4200486566 @default.
- W4313201564 doi "https://doi.org/10.1016/j.ifacol.2022.10.361" @default.
- W4313201564 hasPublicationYear "2022" @default.
- W4313201564 type Work @default.
- W4313201564 citedByCount "0" @default.
- W4313201564 crossrefType "journal-article" @default.
- W4313201564 hasAuthorship W4313201564A5004063091 @default.
- W4313201564 hasAuthorship W4313201564A5021408366 @default.
- W4313201564 hasAuthorship W4313201564A5062463584 @default.
- W4313201564 hasAuthorship W4313201564A5081410079 @default.
- W4313201564 hasBestOaLocation W43132015641 @default.
- W4313201564 hasConcept C104317684 @default.
- W4313201564 hasConcept C114614502 @default.
- W4313201564 hasConcept C120314980 @default.
- W4313201564 hasConcept C136643341 @default.
- W4313201564 hasConcept C14166107 @default.
- W4313201564 hasConcept C154945302 @default.
- W4313201564 hasConcept C15569618 @default.
- W4313201564 hasConcept C159023740 @default.
- W4313201564 hasConcept C185592680 @default.
- W4313201564 hasConcept C194232998 @default.
- W4313201564 hasConcept C2524010 @default.
- W4313201564 hasConcept C2776124973 @default.
- W4313201564 hasConcept C2781238097 @default.
- W4313201564 hasConcept C33923547 @default.
- W4313201564 hasConcept C38677869 @default.
- W4313201564 hasConcept C41008148 @default.
- W4313201564 hasConcept C55493867 @default.
- W4313201564 hasConcept C80444323 @default.
- W4313201564 hasConceptScore W4313201564C104317684 @default.
- W4313201564 hasConceptScore W4313201564C114614502 @default.
- W4313201564 hasConceptScore W4313201564C120314980 @default.
- W4313201564 hasConceptScore W4313201564C136643341 @default.
- W4313201564 hasConceptScore W4313201564C14166107 @default.
- W4313201564 hasConceptScore W4313201564C154945302 @default.
- W4313201564 hasConceptScore W4313201564C15569618 @default.
- W4313201564 hasConceptScore W4313201564C159023740 @default.
- W4313201564 hasConceptScore W4313201564C185592680 @default.
- W4313201564 hasConceptScore W4313201564C194232998 @default.
- W4313201564 hasConceptScore W4313201564C2524010 @default.
- W4313201564 hasConceptScore W4313201564C2776124973 @default.
- W4313201564 hasConceptScore W4313201564C2781238097 @default.
- W4313201564 hasConceptScore W4313201564C33923547 @default.
- W4313201564 hasConceptScore W4313201564C38677869 @default.
- W4313201564 hasConceptScore W4313201564C41008148 @default.
- W4313201564 hasConceptScore W4313201564C55493867 @default.
- W4313201564 hasConceptScore W4313201564C80444323 @default.
- W4313201564 hasFunder F4320321739 @default.
- W4313201564 hasIssue "28" @default.
- W4313201564 hasLocation W43132015641 @default.
- W4313201564 hasOpenAccess W4313201564 @default.
- W4313201564 hasPrimaryLocation W43132015641 @default.
- W4313201564 hasRelatedWork W1571571632 @default.
- W4313201564 hasRelatedWork W1959189197 @default.
- W4313201564 hasRelatedWork W1996760951 @default.
- W4313201564 hasRelatedWork W2356487394 @default.
- W4313201564 hasRelatedWork W2376310080 @default.
- W4313201564 hasRelatedWork W2990690886 @default.
- W4313201564 hasRelatedWork W4233529269 @default.
- W4313201564 hasRelatedWork W4313201564 @default.
- W4313201564 hasRelatedWork W90510024 @default.
- W4313201564 hasRelatedWork W2008040316 @default.
- W4313201564 hasVolume "55" @default.
- W4313201564 isParatext "false" @default.
- W4313201564 isRetracted "false" @default.
- W4313201564 workType "article" @default.