Matches in SemOpenAlex for { <https://semopenalex.org/work/W1651168384> ?p ?o ?g. }
- W1651168384 endingPage "352" @default.
- W1651168384 startingPage "345" @default.
- W1651168384 abstract "As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size." @default.
- W1651168384 created "2016-06-24" @default.
- W1651168384 creator A5006764237 @default.
- W1651168384 creator A5033428699 @default.
- W1651168384 creator A5077910784 @default.
- W1651168384 creator A5081318069 @default.
- W1651168384 date "2015-10-10" @default.
- W1651168384 modified "2023-10-16" @default.
- W1651168384 title "A reduced reachability tree for a class of unbounded petri nets" @default.
- W1651168384 cites W1490850339 @default.
- W1651168384 cites W1613550394 @default.
- W1651168384 cites W1977679836 @default.
- W1651168384 cites W1978320803 @default.
- W1651168384 cites W1994188141 @default.
- W1651168384 cites W1996109622 @default.
- W1651168384 cites W2005581605 @default.
- W1651168384 cites W2015160737 @default.
- W1651168384 cites W2050590236 @default.
- W1651168384 cites W2057959989 @default.
- W1651168384 cites W2093812099 @default.
- W1651168384 cites W2103504376 @default.
- W1651168384 cites W2106001218 @default.
- W1651168384 cites W2135051863 @default.
- W1651168384 cites W2137538401 @default.
- W1651168384 cites W2149781939 @default.
- W1651168384 cites W2153337086 @default.
- W1651168384 cites W2155682070 @default.
- W1651168384 cites W2157850490 @default.
- W1651168384 cites W2161411218 @default.
- W1651168384 cites W2182981651 @default.
- W1651168384 cites W2327775743 @default.
- W1651168384 cites W2384088141 @default.
- W1651168384 cites W2526975839 @default.
- W1651168384 cites W614929447 @default.
- W1651168384 cites W634312912 @default.
- W1651168384 cites W2008040316 @default.
- W1651168384 cites W2103494621 @default.
- W1651168384 doi "https://doi.org/10.1109/jas.2015.7296528" @default.
- W1651168384 hasPublicationYear "2015" @default.
- W1651168384 type Work @default.
- W1651168384 sameAs 1651168384 @default.
- W1651168384 citedByCount "21" @default.
- W1651168384 countsByYear W16511683842016 @default.
- W1651168384 countsByYear W16511683842018 @default.
- W1651168384 countsByYear W16511683842019 @default.
- W1651168384 countsByYear W16511683842020 @default.
- W1651168384 countsByYear W16511683842021 @default.
- W1651168384 countsByYear W16511683842022 @default.
- W1651168384 countsByYear W16511683842023 @default.
- W1651168384 crossrefType "journal-article" @default.
- W1651168384 hasAuthorship W1651168384A5006764237 @default.
- W1651168384 hasAuthorship W1651168384A5033428699 @default.
- W1651168384 hasAuthorship W1651168384A5077910784 @default.
- W1651168384 hasAuthorship W1651168384A5081318069 @default.
- W1651168384 hasConcept C113174947 @default.
- W1651168384 hasConcept C11413529 @default.
- W1651168384 hasConcept C114614502 @default.
- W1651168384 hasConcept C136643341 @default.
- W1651168384 hasConcept C154945302 @default.
- W1651168384 hasConcept C15569618 @default.
- W1651168384 hasConcept C197551870 @default.
- W1651168384 hasConcept C2777212361 @default.
- W1651168384 hasConcept C2777669093 @default.
- W1651168384 hasConcept C33923547 @default.
- W1651168384 hasConcept C38677869 @default.
- W1651168384 hasConcept C41008148 @default.
- W1651168384 hasConcept C80444323 @default.
- W1651168384 hasConceptScore W1651168384C113174947 @default.
- W1651168384 hasConceptScore W1651168384C11413529 @default.
- W1651168384 hasConceptScore W1651168384C114614502 @default.
- W1651168384 hasConceptScore W1651168384C136643341 @default.
- W1651168384 hasConceptScore W1651168384C154945302 @default.
- W1651168384 hasConceptScore W1651168384C15569618 @default.
- W1651168384 hasConceptScore W1651168384C197551870 @default.
- W1651168384 hasConceptScore W1651168384C2777212361 @default.
- W1651168384 hasConceptScore W1651168384C2777669093 @default.
- W1651168384 hasConceptScore W1651168384C33923547 @default.
- W1651168384 hasConceptScore W1651168384C38677869 @default.
- W1651168384 hasConceptScore W1651168384C41008148 @default.
- W1651168384 hasConceptScore W1651168384C80444323 @default.
- W1651168384 hasIssue "4" @default.
- W1651168384 hasLocation W16511683841 @default.
- W1651168384 hasOpenAccess W1651168384 @default.
- W1651168384 hasPrimaryLocation W16511683841 @default.
- W1651168384 hasRelatedWork W1512376713 @default.
- W1651168384 hasRelatedWork W1797803999 @default.
- W1651168384 hasRelatedWork W2016151994 @default.
- W1651168384 hasRelatedWork W2103504376 @default.
- W1651168384 hasRelatedWork W2131143908 @default.
- W1651168384 hasRelatedWork W2135051863 @default.
- W1651168384 hasRelatedWork W2153337086 @default.
- W1651168384 hasRelatedWork W2170020397 @default.
- W1651168384 hasRelatedWork W2330510523 @default.
- W1651168384 hasRelatedWork W2990690886 @default.
- W1651168384 hasVolume "2" @default.
- W1651168384 isParatext "false" @default.
- W1651168384 isRetracted "false" @default.
- W1651168384 magId "1651168384" @default.