Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007508966> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2007508966 endingPage "249" @default.
- W2007508966 startingPage "238" @default.
- W2007508966 abstract "This paper focuses on the decidability status of various forms of behavioral correctness criteria for resource-constrained workflow (RCWF) nets (Petri net models of RCWF systems). These behavioral correctness criteria, usually called soundness criteria, are natural extensions of similar correctness criteria for workflow nets (Petri net models of workflow systems). While all forms of soundness are known to be decidable for workflow nets, only soundness for RCWF nets with just one resource type is known to be decidable. In this paper, we show that if we limit the number of cases, then soundness for RCWF nets with arbitrarily many resource types is decidable. Moreover, we show that some “intermediate” forms of soundness, as well as a restrictive form of structural soundness for RCWF nets, are decidable too. The proof technique is based on instantiation nets as a general tool for dealing with arbitrarily many cases and arbitrarily large resources in workflow nets and RCWF nets. It is also shown why this technique cannot be extended to the most general form of soundness." @default.
- W2007508966 created "2016-06-24" @default.
- W2007508966 creator A5015622908 @default.
- W2007508966 creator A5041479642 @default.
- W2007508966 date "2012-01-01" @default.
- W2007508966 modified "2023-10-18" @default.
- W2007508966 title "Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets" @default.
- W2007508966 cites W1490230666 @default.
- W2007508966 cites W150678198 @default.
- W2007508966 cites W1510349321 @default.
- W2007508966 cites W1527974694 @default.
- W2007508966 cites W1531869632 @default.
- W2007508966 cites W1541004980 @default.
- W2007508966 cites W1574901384 @default.
- W2007508966 cites W1775123915 @default.
- W2007508966 cites W2002878601 @default.
- W2007508966 cites W2015234709 @default.
- W2007508966 cites W2037933704 @default.
- W2007508966 cites W2097685196 @default.
- W2007508966 cites W2102439171 @default.
- W2007508966 cites W2106274692 @default.
- W2007508966 cites W2116300551 @default.
- W2007508966 cites W2121339612 @default.
- W2007508966 cites W2121548252 @default.
- W2007508966 cites W2128054061 @default.
- W2007508966 cites W2128076342 @default.
- W2007508966 cites W2130739953 @default.
- W2007508966 cites W2132883297 @default.
- W2007508966 cites W2137543433 @default.
- W2007508966 cites W2142249327 @default.
- W2007508966 cites W2171622895 @default.
- W2007508966 cites W2248725568 @default.
- W2007508966 cites W2311040138 @default.
- W2007508966 cites W2494687241 @default.
- W2007508966 cites W3145904057 @default.
- W2007508966 cites W2485149744 @default.
- W2007508966 doi "https://doi.org/10.1109/tsmca.2011.2147310" @default.
- W2007508966 hasPublicationYear "2012" @default.
- W2007508966 type Work @default.
- W2007508966 sameAs 2007508966 @default.
- W2007508966 citedByCount "14" @default.
- W2007508966 countsByYear W20075089662012 @default.
- W2007508966 countsByYear W20075089662013 @default.
- W2007508966 countsByYear W20075089662014 @default.
- W2007508966 countsByYear W20075089662015 @default.
- W2007508966 countsByYear W20075089662016 @default.
- W2007508966 crossrefType "journal-article" @default.
- W2007508966 hasAuthorship W2007508966A5015622908 @default.
- W2007508966 hasAuthorship W2007508966A5041479642 @default.
- W2007508966 hasConcept C153269930 @default.
- W2007508966 hasConcept C177212765 @default.
- W2007508966 hasConcept C199360897 @default.
- W2007508966 hasConcept C38677869 @default.
- W2007508966 hasConcept C39920170 @default.
- W2007508966 hasConcept C41008148 @default.
- W2007508966 hasConcept C55439883 @default.
- W2007508966 hasConcept C77088390 @default.
- W2007508966 hasConcept C80444323 @default.
- W2007508966 hasConceptScore W2007508966C153269930 @default.
- W2007508966 hasConceptScore W2007508966C177212765 @default.
- W2007508966 hasConceptScore W2007508966C199360897 @default.
- W2007508966 hasConceptScore W2007508966C38677869 @default.
- W2007508966 hasConceptScore W2007508966C39920170 @default.
- W2007508966 hasConceptScore W2007508966C41008148 @default.
- W2007508966 hasConceptScore W2007508966C55439883 @default.
- W2007508966 hasConceptScore W2007508966C77088390 @default.
- W2007508966 hasConceptScore W2007508966C80444323 @default.
- W2007508966 hasIssue "1" @default.
- W2007508966 hasLocation W20075089661 @default.
- W2007508966 hasOpenAccess W2007508966 @default.
- W2007508966 hasPrimaryLocation W20075089661 @default.
- W2007508966 hasRelatedWork W1537978046 @default.
- W2007508966 hasRelatedWork W2007508966 @default.
- W2007508966 hasRelatedWork W2106905900 @default.
- W2007508966 hasRelatedWork W2138447175 @default.
- W2007508966 hasRelatedWork W2388226330 @default.
- W2007508966 hasRelatedWork W2499128759 @default.
- W2007508966 hasRelatedWork W2807821111 @default.
- W2007508966 hasRelatedWork W4205804329 @default.
- W2007508966 hasRelatedWork W4311638100 @default.
- W2007508966 hasRelatedWork W987895608 @default.
- W2007508966 hasVolume "42" @default.
- W2007508966 isParatext "false" @default.
- W2007508966 isRetracted "false" @default.
- W2007508966 magId "2007508966" @default.
- W2007508966 workType "article" @default.