FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W421159040> ?p ?o ?g. }

• W421159040 endingPage "154" @default.
• W421159040 startingPage "135" @default.
• W421159040 abstract "We present a framework to efficiently check language inclusion between two sound unlabelled WF-nets. That is, to efficiently check whether every successfully terminating transition sequence of one sound unlabelled WF-net also is a successfully terminating transition sequence of a second sound unlabelled WF-net. Existing approaches for checking language inclusion are typically based on the underlying transition systems of both nets, and hence are subject to the well-known state-explosion problem. As a result, these approaches cannot check language inclusion on sound unlabelled WF-nets in polynomial time. Our framework allows for efficient language inclusion checks even if parallelism is present, by comparing specific net abstractions that can be computed and compared in polynomial time. For sound unlabelled WF-nets that are free-choice and do not contain loops, we prove that our approach is complete." @default.
• W421159040 created "2016-06-24" @default.
• W421159040 creator A5014115539 @default.
• W421159040 creator A5022494568 @default.
• W421159040 creator A5054064724 @default.
• W421159040 creator A5071443037 @default.
• W421159040 date "2013-01-01" @default.
• W421159040 modified "2023-09-23" @default.
• W421159040 title "A framework for efficiently deciding language inclusion for sound unlabelled WF-nets" @default.
• W421159040 cites W1490676951 @default.
• W421159040 cites W1506675912 @default.
• W421159040 cites W1509056567 @default.
• W421159040 cites W1543741569 @default.
• W421159040 cites W1602726879 @default.
• W421159040 cites W1605860947 @default.
• W421159040 cites W1628017246 @default.
• W421159040 cites W1888236768 @default.
• W421159040 cites W1985161650 @default.
• W421159040 cites W1997532020 @default.
• W421159040 cites W2048686591 @default.
• W421159040 cites W2098250644 @default.
• W421159040 cites W2105250349 @default.
• W421159040 cites W2113071192 @default.
• W421159040 cites W2125815545 @default.
• W421159040 cites W2138745909 @default.
• W421159040 cites W2162864452 @default.
• W421159040 cites W2162868766 @default.
• W421159040 cites W2172216946 @default.
• W421159040 cites W2340735175 @default.
• W421159040 hasPublicationYear "2013" @default.
• W421159040 type Work @default.
• W421159040 sameAs 421159040 @default.
• W421159040 citedByCount "0" @default.
• W421159040 crossrefType "journal-article" @default.
• W421159040 hasAuthorship W421159040A5014115539 @default.
• W421159040 hasAuthorship W421159040A5022494568 @default.
• W421159040 hasAuthorship W421159040A5054064724 @default.
• W421159040 hasAuthorship W421159040A5071443037 @default.
• W421159040 hasConcept C109359841 @default.
• W421159040 hasConcept C11413529 @default.
• W421159040 hasConcept C121332964 @default.
• W421159040 hasConcept C134306372 @default.
• W421159040 hasConcept C14166107 @default.
• W421159040 hasConcept C159333733 @default.
• W421159040 hasConcept C185592680 @default.
• W421159040 hasConcept C199360897 @default.
• W421159040 hasConcept C203718221 @default.
• W421159040 hasConcept C24890656 @default.
• W421159040 hasConcept C2524010 @default.
• W421159040 hasConcept C2778112365 @default.
• W421159040 hasConcept C33923547 @default.
• W421159040 hasConcept C41008148 @default.
• W421159040 hasConcept C48103436 @default.
• W421159040 hasConcept C55493867 @default.
• W421159040 hasConcept C80444323 @default.
• W421159040 hasConcept C90119067 @default.
• W421159040 hasConcept C97355855 @default.
• W421159040 hasConceptScore W421159040C109359841 @default.
• W421159040 hasConceptScore W421159040C11413529 @default.
• W421159040 hasConceptScore W421159040C121332964 @default.
• W421159040 hasConceptScore W421159040C134306372 @default.
• W421159040 hasConceptScore W421159040C14166107 @default.
• W421159040 hasConceptScore W421159040C159333733 @default.
• W421159040 hasConceptScore W421159040C185592680 @default.
• W421159040 hasConceptScore W421159040C199360897 @default.
• W421159040 hasConceptScore W421159040C203718221 @default.
• W421159040 hasConceptScore W421159040C24890656 @default.
• W421159040 hasConceptScore W421159040C2524010 @default.
• W421159040 hasConceptScore W421159040C2778112365 @default.
• W421159040 hasConceptScore W421159040C33923547 @default.
• W421159040 hasConceptScore W421159040C41008148 @default.
• W421159040 hasConceptScore W421159040C48103436 @default.
• W421159040 hasConceptScore W421159040C55493867 @default.
• W421159040 hasConceptScore W421159040C80444323 @default.
• W421159040 hasConceptScore W421159040C90119067 @default.
• W421159040 hasConceptScore W421159040C97355855 @default.
• W421159040 hasLocation W4211590401 @default.
• W421159040 hasOpenAccess W421159040 @default.
• W421159040 hasPrimaryLocation W4211590401 @default.
• W421159040 hasRelatedWork W1528929318 @default.
• W421159040 hasRelatedWork W1745298 @default.
• W421159040 hasRelatedWork W1831515417 @default.
• W421159040 hasRelatedWork W1990653192 @default.
• W421159040 hasRelatedWork W2003411722 @default.
• W421159040 hasRelatedWork W202324359 @default.
• W421159040 hasRelatedWork W2045524002 @default.
• W421159040 hasRelatedWork W2045900383 @default.
• W421159040 hasRelatedWork W2089938751 @default.
• W421159040 hasRelatedWork W2099495594 @default.
• W421159040 hasRelatedWork W2105305530 @default.
• W421159040 hasRelatedWork W2148079691 @default.
• W421159040 hasRelatedWork W2183074746 @default.
• W421159040 hasRelatedWork W2186583473 @default.
• W421159040 hasRelatedWork W2467789404 @default.
• W421159040 hasRelatedWork W2572656401 @default.
• W421159040 hasRelatedWork W2789733058 @default.
• W421159040 hasRelatedWork W3081140620 @default.
• W421159040 hasRelatedWork W3099598775 @default.

• next