Verification of workflow nets

Conference Contribution

Aalst, van der, W.M.P. (1997). Verification of workflow nets. In G. Balbo & P. Azema (Eds.), Application and Theory of Petri Nets 1997 (Proceedings 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997) (pp. 407-426). (Lecture Notes in Computer Science, No. 1248). Berlin: Springer. In Scopus Cited 545 times.

Read more: DOI     

Abstract