Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201641758> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W3201641758 abstract "Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-subnets. The resulting T-systems are investigated by elementary methods." @default.
- W3201641758 created "2021-09-27" @default.
- W3201641758 creator A5006410599 @default.
- W3201641758 date "2021-09-21" @default.
- W3201641758 modified "2023-09-27" @default.
- W3201641758 title "Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions." @default.
- W3201641758 cites W1551214605 @default.
- W3201641758 cites W1964156164 @default.
- W3201641758 cites W2964038383 @default.
- W3201641758 cites W2979792111 @default.
- W3201641758 hasPublicationYear "2021" @default.
- W3201641758 type Work @default.
- W3201641758 sameAs 3201641758 @default.
- W3201641758 citedByCount "0" @default.
- W3201641758 crossrefType "posted-content" @default.
- W3201641758 hasAuthorship W3201641758A5006410599 @default.
- W3201641758 hasConcept C118615104 @default.
- W3201641758 hasConcept C146763376 @default.
- W3201641758 hasConcept C199360897 @default.
- W3201641758 hasConcept C33923547 @default.
- W3201641758 hasConcept C38677869 @default.
- W3201641758 hasConcept C41008148 @default.
- W3201641758 hasConcept C54355233 @default.
- W3201641758 hasConcept C86803240 @default.
- W3201641758 hasConceptScore W3201641758C118615104 @default.
- W3201641758 hasConceptScore W3201641758C146763376 @default.
- W3201641758 hasConceptScore W3201641758C199360897 @default.
- W3201641758 hasConceptScore W3201641758C33923547 @default.
- W3201641758 hasConceptScore W3201641758C38677869 @default.
- W3201641758 hasConceptScore W3201641758C41008148 @default.
- W3201641758 hasConceptScore W3201641758C54355233 @default.
- W3201641758 hasConceptScore W3201641758C86803240 @default.
- W3201641758 hasLocation W32016417581 @default.
- W3201641758 hasOpenAccess W3201641758 @default.
- W3201641758 hasPrimaryLocation W32016417581 @default.
- W3201641758 hasRelatedWork W1507516107 @default.
- W3201641758 hasRelatedWork W1579191765 @default.
- W3201641758 hasRelatedWork W1608096029 @default.
- W3201641758 hasRelatedWork W1805965625 @default.
- W3201641758 hasRelatedWork W1854108352 @default.
- W3201641758 hasRelatedWork W1909895345 @default.
- W3201641758 hasRelatedWork W1985993942 @default.
- W3201641758 hasRelatedWork W2008435081 @default.
- W3201641758 hasRelatedWork W2048775824 @default.
- W3201641758 hasRelatedWork W2071268441 @default.
- W3201641758 hasRelatedWork W2073941363 @default.
- W3201641758 hasRelatedWork W2074584159 @default.
- W3201641758 hasRelatedWork W2086631659 @default.
- W3201641758 hasRelatedWork W2130283794 @default.
- W3201641758 hasRelatedWork W2186961834 @default.
- W3201641758 hasRelatedWork W2348566654 @default.
- W3201641758 hasRelatedWork W2369543978 @default.
- W3201641758 hasRelatedWork W2514433946 @default.
- W3201641758 hasRelatedWork W2566143654 @default.
- W3201641758 hasRelatedWork W2728124855 @default.
- W3201641758 isParatext "false" @default.
- W3201641758 isRetracted "false" @default.
- W3201641758 magId "3201641758" @default.
- W3201641758 workType "article" @default.