Gert Janssenswillen, Benoît Depaire, Toon Jouck. Calculating the Number of Unique Paths in a Block-Structured Process Model. In Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona, editors, Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016. Volume 1592 of CEUR Workshop Proceedings, pages 138-152, CEUR-WS.org, 2016. [doi]
Abstract is missing.