Discovery, Verification and Conformance of Workflows with Cancellation

@inproceedings{Aalst2008DiscoveryVA,
  title={Discovery, Verification and Conformance of Workflows with Cancellation},
  author={Wil M. P. van der Aalst},
  booktitle={ICGT},
  year={2008}
}
Petri nets are frequently used for the modeling and analysis of workflows. Their graphical nature, well-defined semantics, and analysis techniques are attractive as information systems become more “processaware”. Unfortunately, the classical Petri net has problems modeling cancellation in a succinct and direct manner. Modeling cancellation regions in a classical net is impossible or results in a “spaghetti-like” net. Cancellation regions are supported by many workflow management systems, but… CONTINUE READING