Structural characterizations of sound workflow nets

Wil M. P. van der Aalst

96 citations0/0 files stored

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Petri Nets in System Modeling

Abstract

this paper we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

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

Citations in this library

Citation map →

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

References

1998Three Good Reasons for Using a Petri-Net-Based Workflow Management System

Cited by

2022Utilizing domain knowledge in data-driven process discovery: A literature review 1999Woflan: a Petri-net-based workflow analyzer 2009Reducing the cognitive complexity of business process models 2021A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement 2017BProVe: A formal verification framework for business process models 2000Techniques for Modelling Workflows and their Support of Reuse 2007DISCOVERING PATTERNS FOR INTER-ORGANIZATIONAL BUSINESS PROCESS COLLABORATION 2015Sound conflict management and resolution for virtual-enterprise collaborations

Explore the map →

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

Imported from OpenAlex (CC0) — nothing here is generated.