211 search results - page 5 / 43 » Verification of Workflow Nets |
AWPN
2008
13 years 8 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
BPM
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
CBSE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
DKE
2010
13 years 7 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
APN
2006
Springer
13 years 11 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...