Workflow Soundness Verification Based on Structure Theory of Petri Nets

Kamel Barkaoui · Zohra Sbaï

28 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

Abstract: Modern workflow management systems have to support tasks with complex dependency constraints and to cope with resource allocation problem. Therefore the need for analysis method to verify the correctness of workflow specification is becoming crucial. This paper exploits recent advances of structure theory of Petri nets to find efficient structural characterization of the basic soundness property. The obtained results allow the identification and analysis of workflow net classes allowing the modelling of complex synchronization and routing workflow constructs of practical need in particular in the context of collaborative management systems.

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 — 28 citations exist upstream.

Cited by

2018Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix 2019Workflow Nets With Tables and Their Soundness 2011Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets 2010On the verification of business processes by model checking techniques 2011Generating sound workflow views for correct provenance analysis

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