FRINK Linked Data Fragments server

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

• W1537978046 endingPage "72" @default.
• W1537978046 startingPage "57" @default.
• W1537978046 abstract "Petri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and analyze workflows and variants of the classical soundness property are used as a correctness notion. Since many workflow languages have cancelation features, a map- ping to workflow nets is not always possible. Therefore, it is interesting to consider workflow nets with reset arcs. Unfortunately, soundness is undecidable for workflow nets with reset arcs. In this paper, we provide a proof and insights into the theoretical limits of workflow verification." @default.
• W1537978046 created "2016-06-24" @default.
• W1537978046 creator A5019011504 @default.
• W1537978046 creator A5019514404 @default.
• W1537978046 creator A5022494568 @default.
• W1537978046 creator A5034830417 @default.
• W1537978046 creator A5053568949 @default.
• W1537978046 creator A5071443037 @default.
• W1537978046 creator A5078346412 @default.
• W1537978046 date "2008-01-01" @default.
• W1537978046 modified "2023-09-24" @default.
• W1537978046 title "Soundness of workflow nets with reset arcs is undecidable" @default.
• W1537978046 cites W1502414936 @default.
• W1537978046 cites W1504874300 @default.
• W1537978046 cites W1511762409 @default.
• W1537978046 cites W1513999490 @default.
• W1537978046 cites W1521016409 @default.
• W1537978046 cites W1532777614 @default.
• W1537978046 cites W1534850333 @default.
• W1537978046 cites W1537297192 @default.
• W1537978046 cites W1541004980 @default.
• W1537978046 cites W1585036716 @default.
• W1537978046 cites W1587329505 @default.
• W1537978046 cites W1815267001 @default.
• W1537978046 cites W1967174286 @default.
• W1537978046 cites W1999970959 @default.
• W1537978046 cites W2040836689 @default.
• W1537978046 cites W2093537559 @default.
• W1537978046 cites W2127030216 @default.
• W1537978046 cites W2129466958 @default.
• W1537978046 cites W2141383245 @default.
• W1537978046 cites W2150970956 @default.
• W1537978046 cites W2162868766 @default.
• W1537978046 cites W2394903686 @default.
• W1537978046 cites W2807821111 @default.
• W1537978046 cites W3139600135 @default.
• W1537978046 cites W2485149744 @default.
• W1537978046 hasPublicationYear "2008" @default.
• W1537978046 type Work @default.
• W1537978046 sameAs 1537978046 @default.
• W1537978046 citedByCount "0" @default.
• W1537978046 crossrefType "journal-article" @default.
• W1537978046 hasAuthorship W1537978046A5019011504 @default.
• W1537978046 hasAuthorship W1537978046A5019514404 @default.
• W1537978046 hasAuthorship W1537978046A5022494568 @default.
• W1537978046 hasAuthorship W1537978046A5034830417 @default.
• W1537978046 hasAuthorship W1537978046A5053568949 @default.
• W1537978046 hasAuthorship W1537978046A5071443037 @default.
• W1537978046 hasAuthorship W1537978046A5078346412 @default.
• W1537978046 hasConcept C106159729 @default.
• W1537978046 hasConcept C140824633 @default.
• W1537978046 hasConcept C153269930 @default.
• W1537978046 hasConcept C162324750 @default.
• W1537978046 hasConcept C177212765 @default.
• W1537978046 hasConcept C192034797 @default.
• W1537978046 hasConcept C199360897 @default.
• W1537978046 hasConcept C2779795794 @default.
• W1537978046 hasConcept C38677869 @default.
• W1537978046 hasConcept C39920170 @default.
• W1537978046 hasConcept C41008148 @default.
• W1537978046 hasConcept C55439883 @default.
• W1537978046 hasConcept C77088390 @default.
• W1537978046 hasConcept C80444323 @default.
• W1537978046 hasConceptScore W1537978046C106159729 @default.
• W1537978046 hasConceptScore W1537978046C140824633 @default.
• W1537978046 hasConceptScore W1537978046C153269930 @default.
• W1537978046 hasConceptScore W1537978046C162324750 @default.
• W1537978046 hasConceptScore W1537978046C177212765 @default.
• W1537978046 hasConceptScore W1537978046C192034797 @default.
• W1537978046 hasConceptScore W1537978046C199360897 @default.
• W1537978046 hasConceptScore W1537978046C2779795794 @default.
• W1537978046 hasConceptScore W1537978046C38677869 @default.
• W1537978046 hasConceptScore W1537978046C39920170 @default.
• W1537978046 hasConceptScore W1537978046C41008148 @default.
• W1537978046 hasConceptScore W1537978046C55439883 @default.
• W1537978046 hasConceptScore W1537978046C77088390 @default.
• W1537978046 hasConceptScore W1537978046C80444323 @default.
• W1537978046 hasLocation W15379780461 @default.
• W1537978046 hasOpenAccess W1537978046 @default.
• W1537978046 hasPrimaryLocation W15379780461 @default.
• W1537978046 hasRelatedWork W1481136801 @default.
• W1537978046 hasRelatedWork W1767621068 @default.
• W1537978046 hasRelatedWork W1976932389 @default.
• W1537978046 hasRelatedWork W2018396715 @default.
• W1537978046 hasRelatedWork W2030794738 @default.
• W1537978046 hasRelatedWork W2040715647 @default.
• W1537978046 hasRelatedWork W2086167716 @default.
• W1537978046 hasRelatedWork W2091344565 @default.
• W1537978046 hasRelatedWork W2102905421 @default.
• W1537978046 hasRelatedWork W2132656893 @default.
• W1537978046 hasRelatedWork W2372347091 @default.
• W1537978046 hasRelatedWork W2537255560 @default.
• W1537978046 hasRelatedWork W26697920 @default.
• W1537978046 hasRelatedWork W2735081604 @default.
• W1537978046 hasRelatedWork W2800575625 @default.
• W1537978046 hasRelatedWork W3047989016 @default.
• W1537978046 hasRelatedWork W3089414297 @default.
• W1537978046 hasRelatedWork W54061235 @default.

• next