Skip to main content
Erschienen in: Formal Aspects of Computing 3/2011

Open Access 01.05.2011 | Original Article

Soundness of workflow nets: classification, decidability, and analysis

verfasst von: W. M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede, N. Sidorova, H. M. W. Verbeek, M. Voorhoeve, M. T. Wynn

Erschienen in: Formal Aspects of Computing | Ausgabe 3/2011

loading …
download
DOWNLOAD
print
DRUCKEN
Metadaten
Titel
Soundness of workflow nets: classification, decidability, and analysis
verfasst von
W. M. P. van der Aalst
K. M. van Hee
A. H. M. ter Hofstede
N. Sidorova
H. M. W. Verbeek
M. Voorhoeve
M. T. Wynn
Publikationsdatum
01.05.2011
Verlag
Springer-Verlag
Erschienen in
Formal Aspects of Computing / Ausgabe 3/2011
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI
https://doi.org/10.1007/s00165-010-0161-4

Weitere Artikel der Ausgabe 3/2011

Formal Aspects of Computing 3/2011 Zur Ausgabe

Premium Partner