Matches in SemOpenAlex for { <https://semopenalex.org/work/W175714733> ?p ?o ?g. }
- W175714733 endingPage "353" @default.
- W175714733 startingPage "334" @default.
- W175714733 abstract "A Petri net is reversible if its initial marking is a home marking, a marking reachable from any reachable marking. Under the assumption of well-behavedness we investigate the property of reversibility for strongly connected weighted Choice-Free Petri nets, nets which structurally avoid conflicts. Several characterizations of liveness and reversibility as well as exponential methods for building live and home markings are available for these nets. We provide a new characterization of reversibility leading to the construction in polynomial time of an initial marking with a polynomial number of tokens that is live and reversible. We also introduce a polynomial time transformation of well-formed Choice-Free systems into well-formed T-systems and we deduce from it a polynomial time sufficient condition of liveness and reversibility for well-formed Choice-Free systems. We show that neither one of these two approaches subsumes the other." @default.
- W175714733 created "2016-06-24" @default.
- W175714733 creator A5015653106 @default.
- W175714733 creator A5048144249 @default.
- W175714733 creator A5090287624 @default.
- W175714733 date "2014-01-01" @default.
- W175714733 modified "2023-10-10" @default.
- W175714733 title "On the Reversibility of Well-Behaved Weighted Choice-Free Systems" @default.
- W175714733 cites W125634580 @default.
- W175714733 cites W1507507765 @default.
- W175714733 cites W1514637558 @default.
- W175714733 cites W1533935241 @default.
- W175714733 cites W1534926211 @default.
- W175714733 cites W1535002487 @default.
- W175714733 cites W1596721960 @default.
- W175714733 cites W1996109622 @default.
- W175714733 cites W2032749662 @default.
- W175714733 cites W2041935783 @default.
- W175714733 cites W2060514783 @default.
- W175714733 cites W2072389619 @default.
- W175714733 cites W2090740917 @default.
- W175714733 cites W2091158003 @default.
- W175714733 cites W2130225463 @default.
- W175714733 cites W2153073816 @default.
- W175714733 cites W2175982508 @default.
- W175714733 cites W2179661259 @default.
- W175714733 cites W4253786586 @default.
- W175714733 doi "https://doi.org/10.1007/978-3-319-07734-5_18" @default.
- W175714733 hasPublicationYear "2014" @default.
- W175714733 type Work @default.
- W175714733 sameAs 175714733 @default.
- W175714733 citedByCount "9" @default.
- W175714733 countsByYear W1757147332015 @default.
- W175714733 countsByYear W1757147332018 @default.
- W175714733 countsByYear W1757147332019 @default.
- W175714733 countsByYear W1757147332020 @default.
- W175714733 countsByYear W1757147332021 @default.
- W175714733 crossrefType "book-chapter" @default.
- W175714733 hasAuthorship W175714733A5015653106 @default.
- W175714733 hasAuthorship W175714733A5048144249 @default.
- W175714733 hasAuthorship W175714733A5090287624 @default.
- W175714733 hasBestOaLocation W1757147332 @default.
- W175714733 hasConcept C104317684 @default.
- W175714733 hasConcept C111472728 @default.
- W175714733 hasConcept C11413529 @default.
- W175714733 hasConcept C118615104 @default.
- W175714733 hasConcept C134306372 @default.
- W175714733 hasConcept C138885662 @default.
- W175714733 hasConcept C14166107 @default.
- W175714733 hasConcept C15569618 @default.
- W175714733 hasConcept C185592680 @default.
- W175714733 hasConcept C189950617 @default.
- W175714733 hasConcept C197551870 @default.
- W175714733 hasConcept C204241405 @default.
- W175714733 hasConcept C2524010 @default.
- W175714733 hasConcept C311688 @default.
- W175714733 hasConcept C33923547 @default.
- W175714733 hasConcept C38677869 @default.
- W175714733 hasConcept C41008148 @default.
- W175714733 hasConcept C55493867 @default.
- W175714733 hasConcept C80444323 @default.
- W175714733 hasConcept C90119067 @default.
- W175714733 hasConceptScore W175714733C104317684 @default.
- W175714733 hasConceptScore W175714733C111472728 @default.
- W175714733 hasConceptScore W175714733C11413529 @default.
- W175714733 hasConceptScore W175714733C118615104 @default.
- W175714733 hasConceptScore W175714733C134306372 @default.
- W175714733 hasConceptScore W175714733C138885662 @default.
- W175714733 hasConceptScore W175714733C14166107 @default.
- W175714733 hasConceptScore W175714733C15569618 @default.
- W175714733 hasConceptScore W175714733C185592680 @default.
- W175714733 hasConceptScore W175714733C189950617 @default.
- W175714733 hasConceptScore W175714733C197551870 @default.
- W175714733 hasConceptScore W175714733C204241405 @default.
- W175714733 hasConceptScore W175714733C2524010 @default.
- W175714733 hasConceptScore W175714733C311688 @default.
- W175714733 hasConceptScore W175714733C33923547 @default.
- W175714733 hasConceptScore W175714733C38677869 @default.
- W175714733 hasConceptScore W175714733C41008148 @default.
- W175714733 hasConceptScore W175714733C55493867 @default.
- W175714733 hasConceptScore W175714733C80444323 @default.
- W175714733 hasConceptScore W175714733C90119067 @default.
- W175714733 hasLocation W1757147331 @default.
- W175714733 hasLocation W1757147332 @default.
- W175714733 hasLocation W1757147333 @default.
- W175714733 hasOpenAccess W175714733 @default.
- W175714733 hasPrimaryLocation W1757147331 @default.
- W175714733 hasRelatedWork W2004753716 @default.
- W175714733 hasRelatedWork W2031305780 @default.
- W175714733 hasRelatedWork W2066603162 @default.
- W175714733 hasRelatedWork W2107690674 @default.
- W175714733 hasRelatedWork W2120541137 @default.
- W175714733 hasRelatedWork W2124283471 @default.
- W175714733 hasRelatedWork W2169868067 @default.
- W175714733 hasRelatedWork W2330065971 @default.
- W175714733 hasRelatedWork W2382668819 @default.
- W175714733 hasRelatedWork W2391817608 @default.
- W175714733 isParatext "false" @default.