Matches in SemOpenAlex for { <https://semopenalex.org/work/W2376310080> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2376310080 abstract "It is well known that a coverability tree of a Petri net cannot solve reachability and liveness problems of the net because using symbol aj (infinity) may lose some information. A solution to this problem is presented for a special kind of Petri net, marked net. With the combination of w and the increasing/decreasing information of token number, a new kind of coverability tree of marked nets, called exhaustive coverability tree ( ECT) , is proposed. It is shown with an example that an ECT can be used to detect deadlock." @default.
- W2376310080 created "2016-06-24" @default.
- W2376310080 creator A5088104938 @default.
- W2376310080 date "2001-01-01" @default.
- W2376310080 modified "2023-10-18" @default.
- W2376310080 title "Solving liveness problem for marked nets by exhaustive coverability trees" @default.
- W2376310080 hasPublicationYear "2001" @default.
- W2376310080 type Work @default.
- W2376310080 sameAs 2376310080 @default.
- W2376310080 citedByCount "0" @default.
- W2376310080 crossrefType "journal-article" @default.
- W2376310080 hasAuthorship W2376310080A5088104938 @default.
- W2376310080 hasConcept C108010975 @default.
- W2376310080 hasConcept C113174947 @default.
- W2376310080 hasConcept C11413529 @default.
- W2376310080 hasConcept C114614502 @default.
- W2376310080 hasConcept C136643341 @default.
- W2376310080 hasConcept C14166107 @default.
- W2376310080 hasConcept C15569618 @default.
- W2376310080 hasConcept C159023740 @default.
- W2376310080 hasConcept C199360897 @default.
- W2376310080 hasConcept C2524010 @default.
- W2376310080 hasConcept C31258907 @default.
- W2376310080 hasConcept C33923547 @default.
- W2376310080 hasConcept C38677869 @default.
- W2376310080 hasConcept C41008148 @default.
- W2376310080 hasConcept C48145219 @default.
- W2376310080 hasConcept C6557445 @default.
- W2376310080 hasConcept C80444323 @default.
- W2376310080 hasConcept C86803240 @default.
- W2376310080 hasConceptScore W2376310080C108010975 @default.
- W2376310080 hasConceptScore W2376310080C113174947 @default.
- W2376310080 hasConceptScore W2376310080C11413529 @default.
- W2376310080 hasConceptScore W2376310080C114614502 @default.
- W2376310080 hasConceptScore W2376310080C136643341 @default.
- W2376310080 hasConceptScore W2376310080C14166107 @default.
- W2376310080 hasConceptScore W2376310080C15569618 @default.
- W2376310080 hasConceptScore W2376310080C159023740 @default.
- W2376310080 hasConceptScore W2376310080C199360897 @default.
- W2376310080 hasConceptScore W2376310080C2524010 @default.
- W2376310080 hasConceptScore W2376310080C31258907 @default.
- W2376310080 hasConceptScore W2376310080C33923547 @default.
- W2376310080 hasConceptScore W2376310080C38677869 @default.
- W2376310080 hasConceptScore W2376310080C41008148 @default.
- W2376310080 hasConceptScore W2376310080C48145219 @default.
- W2376310080 hasConceptScore W2376310080C6557445 @default.
- W2376310080 hasConceptScore W2376310080C80444323 @default.
- W2376310080 hasConceptScore W2376310080C86803240 @default.
- W2376310080 hasLocation W23763100801 @default.
- W2376310080 hasOpenAccess W2376310080 @default.
- W2376310080 hasPrimaryLocation W23763100801 @default.
- W2376310080 hasRelatedWork W1015083908 @default.
- W2376310080 hasRelatedWork W1500934134 @default.
- W2376310080 hasRelatedWork W1570743953 @default.
- W2376310080 hasRelatedWork W1607228005 @default.
- W2376310080 hasRelatedWork W1744908390 @default.
- W2376310080 hasRelatedWork W2062420902 @default.
- W2376310080 hasRelatedWork W2141017018 @default.
- W2376310080 hasRelatedWork W2156825078 @default.
- W2376310080 hasRelatedWork W2177951319 @default.
- W2376310080 hasRelatedWork W2222821827 @default.
- W2376310080 hasRelatedWork W2563122255 @default.
- W2376310080 hasRelatedWork W2745248131 @default.
- W2376310080 hasRelatedWork W2799272605 @default.
- W2376310080 hasRelatedWork W2950465720 @default.
- W2376310080 hasRelatedWork W2963891846 @default.
- W2376310080 hasRelatedWork W2972139378 @default.
- W2376310080 hasRelatedWork W2996889688 @default.
- W2376310080 hasRelatedWork W3012172783 @default.
- W2376310080 hasRelatedWork W3199900444 @default.
- W2376310080 hasRelatedWork W2008040316 @default.
- W2376310080 isParatext "false" @default.
- W2376310080 isRetracted "false" @default.
- W2376310080 magId "2376310080" @default.
- W2376310080 workType "article" @default.