Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106905900> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2106905900 endingPage "288" @default.
- W2106905900 startingPage "285" @default.
- W2106905900 abstract "Workflow nets (WF-nets) are Petri nets for modeling workflows, and are utilized to verification and performance evaluation of workflows. A WF-net should have a property, called soundeness, which guarantees a logical correctness of the modeled workflow. If a given WF-net is free choice then its soundness can be verified in polynomial time. Otherwise there is no polynomial time method to verify soundness for general WF-nets. Unfortunately, some workflows cannot be represented as free choice WF-nets. For example, the WF-net representing an inter-organizational workflow may become asymmetric choice. Thus an efficient method is required. In this paper, we propose a tool to verify soundness using the SPIN model checker. We also show efficiency of our tool by comparing it with an existing WF-nets analysis tool, Woflan, on verification time for asymmetric choice WF-nets." @default.
- W2106905900 created "2016-06-24" @default.
- W2106905900 creator A5001899038 @default.
- W2106905900 creator A5041793220 @default.
- W2106905900 creator A5086514699 @default.
- W2106905900 date "2008-07-01" @default.
- W2106905900 modified "2023-09-23" @default.
- W2106905900 title "A Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets" @default.
- W2106905900 cites W1903332351 @default.
- W2106905900 cites W1988178124 @default.
- W2106905900 cites W1996109622 @default.
- W2106905900 cites W2115309705 @default.
- W2106905900 cites W2119332979 @default.
- W2106905900 cites W2127300475 @default.
- W2106905900 cites W2129466958 @default.
- W2106905900 cites W2144880828 @default.
- W2106905900 cites W2208717421 @default.
- W2106905900 hasPublicationYear "2008" @default.
- W2106905900 type Work @default.
- W2106905900 sameAs 2106905900 @default.
- W2106905900 citedByCount "2" @default.
- W2106905900 countsByYear W21069059002012 @default.
- W2106905900 crossrefType "journal-article" @default.
- W2106905900 hasAuthorship W2106905900A5001899038 @default.
- W2106905900 hasAuthorship W2106905900A5041793220 @default.
- W2106905900 hasAuthorship W2106905900A5086514699 @default.
- W2106905900 hasConcept C110251889 @default.
- W2106905900 hasConcept C11413529 @default.
- W2106905900 hasConcept C177212765 @default.
- W2106905900 hasConcept C197551870 @default.
- W2106905900 hasConcept C199360897 @default.
- W2106905900 hasConcept C38677869 @default.
- W2106905900 hasConcept C39920170 @default.
- W2106905900 hasConcept C41008148 @default.
- W2106905900 hasConcept C55439883 @default.
- W2106905900 hasConcept C77088390 @default.
- W2106905900 hasConcept C80444323 @default.
- W2106905900 hasConceptScore W2106905900C110251889 @default.
- W2106905900 hasConceptScore W2106905900C11413529 @default.
- W2106905900 hasConceptScore W2106905900C177212765 @default.
- W2106905900 hasConceptScore W2106905900C197551870 @default.
- W2106905900 hasConceptScore W2106905900C199360897 @default.
- W2106905900 hasConceptScore W2106905900C38677869 @default.
- W2106905900 hasConceptScore W2106905900C39920170 @default.
- W2106905900 hasConceptScore W2106905900C41008148 @default.
- W2106905900 hasConceptScore W2106905900C55439883 @default.
- W2106905900 hasConceptScore W2106905900C77088390 @default.
- W2106905900 hasConceptScore W2106905900C80444323 @default.
- W2106905900 hasLocation W21069059001 @default.
- W2106905900 hasOpenAccess W2106905900 @default.
- W2106905900 hasPrimaryLocation W21069059001 @default.
- W2106905900 hasRelatedWork W1556977666 @default.
- W2106905900 hasRelatedWork W1565761884 @default.
- W2106905900 hasRelatedWork W1584581609 @default.
- W2106905900 hasRelatedWork W1983164770 @default.
- W2106905900 hasRelatedWork W1994941284 @default.
- W2106905900 hasRelatedWork W1998021290 @default.
- W2106905900 hasRelatedWork W2016011743 @default.
- W2106905900 hasRelatedWork W2113513585 @default.
- W2106905900 hasRelatedWork W2134028041 @default.
- W2106905900 hasRelatedWork W2160493209 @default.
- W2106905900 hasRelatedWork W2324046115 @default.
- W2106905900 hasRelatedWork W2352814755 @default.
- W2106905900 hasRelatedWork W2359287021 @default.
- W2106905900 hasRelatedWork W2380331134 @default.
- W2106905900 hasRelatedWork W2594374876 @default.
- W2106905900 hasRelatedWork W2743485645 @default.
- W2106905900 hasRelatedWork W2950235939 @default.
- W2106905900 hasRelatedWork W3041197053 @default.
- W2106905900 hasRelatedWork W3092870010 @default.
- W2106905900 hasRelatedWork W327065828 @default.
- W2106905900 isParatext "false" @default.
- W2106905900 isRetracted "false" @default.
- W2106905900 magId "2106905900" @default.
- W2106905900 workType "article" @default.