Woflan: a Petri-net-based workflow analyzer

Abstract

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. Unfortunately, today’s systems give hardly any support to verify the correctness of workflow processes. This paper discusses a verification tool Woflan. Woflan uses state-of-the-art results from Petri net theory, and interfaces with some of the leading workflow tools at the Dutch market. This paper describes the architecture of Woflan and illustrates its functionality by means of some small examples.

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 54 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.