Verification of workflow nets

other

Author(s): W. M. P. Aalst

Publication date (Online): June 5 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1997

Publication date (Online): June 5 2005

Pages: 407-426

DOI: 10.1007/3-540-63139-9_48

SO-VID: c3fd6f34-8bc3-42b0-b54a-75c6adf5e690

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 65

Soundness of workflow nets: classification, decidability, and analysis
Authors: K. M. van Hee, H. M. W. Verbeek, M. T. Wynn …
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures
Authors: Dominic Müller, Manfred Reichert, Joachim Herbst
Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems
Authors: Linh Thao Ly, Stefanie Rinderle-Ma, Peter Dadam

See all cited by