bibliographer - W. M. P. van der Aalst

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Faulty EPCs in the SAP Reference Model J. Mendling M. Moser G. Neumann H. M. W. Verbeek B. F. van Dongen W. M. P. van der Aalst [github]

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques W. M. P. van der Aalst [github]

Soundness of workflow nets: classification, decidability, and analysis 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 [github]

Business process management as the textquotedblleftKiller Apptextquotedblright for Petri nets W. M. P. van der Aalst [github]

SYNCHRONIZATION AND CANCELATION IN WORKFLOWS BASED ON RESET NETS M. T. WYNN W. M. P. VAN DER AALST A. H. M. TER HOFSTEDE D. EDMOND [github]

Library Size: 13G (5 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]