This is an old revision of the document!
2014
Scientific Publications
Journal Papers
Academic publ. refereed
-
Aalst, W.M.P. van der (2014). Geschäftsprozessmodellierung : die "Killer-Applikation" für Petrinetze. Informatik-Spektrum, 37(3), 191-198.
-
Aalst, W.M.P. van der & Verbeek, H.M.W. (2014). Process discovery and conformance checking using passages. Fundamenta Informaticae, 131(1), 103-138. in Web of Science Cited 1 times
-
Jagadeesh Chandra Bose, R.P., Aalst, W.M.P. van der, Zliobaite, I. & Pechenizkiy, M. (2014). Dealing with concept drifts in process mining. IEEE Transactions on Neural Networks and Learning Systems, 25(1), 154-171. in Web of Science Cited 2 times
-
Buijs, J.C.A.M., Dongen, B.F. van & Aalst, W.M.P. van der (2014). Quality dimensions in process discovery : the importance of fitness, precision, generalization and simplicity. International Journal of Cooperative Information Systems, 23(1), 1440001/1-39. in Web of Science Cited 0 times
-
Döhring, M., Reijers, H.A. & Smirnov, S. (2014). Configuration vs. adaptation for business process variant maintenance : an empirical study. Information Systems, 39(1), 108-133. in Web of Science Cited 1 times
-
Firat, M., Hurkens, C.A.J. & Laugier, A. (2014). Stable multi-skill workforce assignments. Annals of Operations Research, 213(1), 95-114. in Web of Science Cited 0 times
-
Genuchten, M.J.I.M. van, Mans, R.S., Reijers, H.A. & Wismeijer, D. (2014). Is your upgrade worth it? process mining can tell. IEEE Software, 31(5), 94-100. in Web of Science Cited 0 times
-
Gschwind, T., Pinggera, J., Zugal, S., Reijers, H.A. & Weber, B. (2014). A linear time layout algorithm for business process models. Journal of Visual Languages and Computing, 25(2), 117-132. in Web of Science Cited 0 times
-
Kelleher, D.C., Jagadeesh Chandra Bose, R.P., Waterhouse, L.J., Carter, E.A. & Burd, R.S. (2014). Effect of a checklist on advanced trauma life support workflow deviations during trauma resuscitations without pre-arrival notification. Journal of the American College of Surgeons, 218(3), 459-466. in Web of Science Cited 0 times
-
Leopold, H., Mendling, J., Reijers, H.A. & La Rosa, M. (2014). Simplifying process model abstraction : techniques for generating model names. Information Systems, 39(1), 134-151. in Web of Science Cited 1 times
-
Li, B., Krushynskyi, D., Reijers, H.A. & Woensel, T. van (2014). The share-a-ride problem : people and parcels sharing taxis. European Journal of Operational Research, 238(1), 31-40. in Web of Science Cited 0 times
-
Maggi, F.M. & Westergaard, M. (2014). Using timed automata for a priori warnings and planning for timed declarative process models. International Journal of Cooperative Information Systems, 23(1), 1440003/1-30. in Web of Science Cited 0 times
-
Muller, R., Stahl, C. & Vogler, W. (2014). Undecidability of accordance for open systems with unbounded message queues. Information Processing Letters, 114(12), 663-669. in Web of Science Cited 1 times
-
Munoz-Gama, J., Carmona, J. & Aalst, W.M.P. van der (2014). Single-entry single-exit decomposed conformance checking. Information Systems, 46, 102-122. in Web of Science Cited 1 times
-
Osch, M.P.W.J. van, Bera, D., Hee, K.M. van, Koks, Y. & Zeegers, H. (2014). Tele-operated service robots : ROSE. Automation in construction, 39(1), 152-160. in Web of Science Cited 1 times
-
Polyvyanyy, A., García-Bañuelos, L., Fahland, D. & Weske, M.H. (2014). Maximal structuring of acyclic process models. The Computer Journal, 57(1), 12-35. in Web of Science Cited 1 times
-
Recker, J., Reijers, H.A. & Wouw, S.G. van de (2014). Process model comprehension : the effects of cognitive abilities, learning style, and strategy. Communications for the Association of Information Systems, 34(1), 199-222.
-
Steadie Seifi, M., Dellaert, N.P., Nuijten, W.P.M., Woensel, T. van & Raoufi, R. (2014). Multimodal freight transportation planning : a literature review. European Journal of Operational Research, 233(1), 1-15. in Web of Science Cited 8 times
-
Vogler, W., Stahl, C. & Muller, R. (2014). Trace- and failure-based semantics for responsiveness. Acta Informatica, 51(8), 499-552. in Web of Science Cited 0 times
-
Wismeijer, D., Mans, R.S., Genuchten, M.J.I.M. van & Reijers, H.A. (2014). Patients' preferences when comparing analogue implant impressions using a polyether impression material versus digital impressions (Intraoral Scan) of dental implants. Clinical Oral Implants Research, 25(10), 1113-1118. in Web of Science Cited 1 times
Book Chapters
Academic publications
-
Aalst, W.M.P. van der (2014). Desire lines in big data. In R. Alhajj & J. Rokne (Eds.), Encyclopedia of Social Network Analysis and Mining (pp. 351-364). Berlin: Springer.
-
Pika, A., Wynn, M.T., Fidge, C.J., Hofstede, A.H.M. ter, Leyer, M. & Aalst, W.M.P. van der (2014). An extensible framework for analysing resource behaviour using event logs. In M. Jarke, J. Mylopoulos, C. Quix, C. Rolland, Y. Manolopoulos, H. Mouratidis & J. Horkoff (Eds.), Advanced Information Systems Engineering (26th International Conference, CAISE'14, Thessaloniki, Greece, June 16-20, 2014) (pp. 564-579). Berlin: Springer.
-
Stahl, C. & Aalst, W.M.P. van der (2014). Behavioral service substitution (Chapter 9). In A. Bouguettaya, Q.Z. Sheng & F. Daniel (Eds.), Web Services Foundations (pp. 215-244). New York: Springer.
Proceedings & Conference Contributions
Academic publ. refereed
-
Aalst, W.M.P. van der (2014). How people really (like to) work : comparative process mining to unravel human behavior. In S. Sauer, C. Bogdan, P. Forbrig, R. Bernhaupt & M. Winckler (Eds.), Conference Paper : Human-Centered Software Engineering (5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings), (Lecture Notes in Computer Science, 8742, pp. 317-321). Berlin: Springer.
-
Aalst, W.M.P. van der (2014). Data scientist : the engineer of the future. In K. Mertins, F. Bénaben, R. Poler & J.-P. Bourrières (Eds.), Conference Paper : Enterprise Interoperability VI, Interoperability for Agility, Resilience and Plasticity of Collaborations (Proceedings of I-ESA 2014, Albi, France, March 24-28, 2014), (Proceedings of the I-ESA Conferences, 7, pp. 13-26). Cham: Springer International Publishing.
-
Aalst, W.M.P. van der (2014). Process mining as the superglue between data science and enterprise computing. In M. Reichert, S. Rinderle-Ma & G. Grossmann (Eds.), Oral : IEEE International Enterprise Distributed Object Computing Conference (EDOC 2014, Ulm, Germany, September 1-5, 2014), (pp. 1-1). IEEE Computer Society.
-
Aalst, W.M.P. van der (2014). No knowledge without processes : process mining as a tool to find out what people and organizations really do. In A. Fred, J. Filipe, J.L.G. Dietz, D. Aveiro & K. Liu (Eds.), Conference Paper : 6th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2014, Rome, Italy, October 21-24, 2014), (pp. 11-16). Scitepress.
-
Aalst, W.M.P. van der, Guo, S. & Gorissen, P.J.B. (2014). Comparative process mining in education : an approach based on process cubes. In J.J. Lesage, J.M. Faure, J. Cury & B. Lennartson (Eds.), Conference Paper : 12th IFAC International Workshop on Discrete Event Systems (WODES 2014, Cachan, France, May 14-16, 2014), (IFAC Workshop Series, pp. PL1.1-PL1.9). IEEE Computer Society.
-
Alizadeh, M., Leoni, M. de & Zannone, N. (2014). History-based construction of log-process alignments for conformance checking : discovering what really went wrong. In R. Accorsi, P. Ceravolo & B. Russo (Eds.), Conference Paper : 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014, Milan, Italy, November 19-21, 2014), (CEUR Workshop Proceedings, 1293, pp. 1-15). CEUR-ws.org.
-
Buijs, J.C.A.M., Dongen, B.F. van & Aalst, W.M.P. van der (2014). Discovering and navigating a collection of process models using multiple quality dimensions. In N. Lohmann, M. Song & P. Wohed (Eds.), Conference Paper : Business Process Management Workshops (BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers), (Lecture Notes in Business Information Processing, 171, pp. 3-14). Berlin: Springer.
-
Buijs, J.C.A.M. & Reijers, H.A. (2014). Comparing business process variants using models and event logs. In I. Bider, K. Gaaloul, J. Krogstie, S. Nurcan, H.A. Proper, R. Schmidt & P. Soffer (Eds.), Conference Paper : Enterprise, Business-Process and Information Systems Modeling : 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014. Proceedings, (Lecture Notes in Business Information Processing, 175, pp. 154-168). Berlin: Springer.
-
Burattin, A., Sperduti, A. & Aalst, W.M.P. van der (2014). Control-flow discovery from event streams. Conference Paper : IEEE Congress on Evolutionary Computation (CEC'14, Beijing, China, July 6-11, 2014), (pp. 2420-2427). Piscataway: IEEE.
-
Engel, R. & Jagadeesh Chandra Bose, R.P. (2014). A case study on analyzing inter-organizational business processes from EDI messages using physical activity mining. Conference Paper : 47th Annual Hawaii International Conference on System Sciences (HICSS-47, Waikoloa HI, USA, January 6-9, 2014), (pp. 3858-3867). IEEE.
-
Gierds, C. & Fahland, D. (2014). Discovering pattern-based mediator services from communication logs. In A.R. Lomuscio, S. Nepal, F. Patrizi, B. Benatallah & I. Brandic (Eds.), Conference Paper : Service-Oriented Computing – ICSOC 2013 Workshops (CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers), (Lecture Notes in Computer Science, 8377, pp. 123-134). Berlin: Springer.
-
Hompes, B.F.A., Verbeek, H.M.W. & Aalst, W.M.P. van der (2014). Finding suitable activity clusters for decomposed process discovery. In R. Accorsi, P. Ceravolo & B. Russo (Eds.), Conference Paper : 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014, Milan, Italy, November 19-21, 2014), (CEUR Workshop Proceedings, 1293, pp. 16-30). CEUR-ws.org.
-
Kalenkova, A.A., Lomazova, I.A. & Aalst, W.M.P. van der (2014). Process model discovery : a method based on transition system decomposition. In G. Ciardo & E. Kindler (Eds.), Conference Paper : Application and Theory of Petri Nets and Concurrency (35th International Conference, Petri Nets 2014, Tunis, Tunesia, June 23-27, 2014. Proceedings), (Lecture Notes in Computer Science, 8489, pp. 71-90). Berlin: Springer.
-
Kalenkova, A.A., Leoni, M. de & Aalst, W.M.P. van der (2014). Discovering, analyzing and enhancing BPMN models using ProM. In L. Limonad & B. Weber (Eds.), Conference Paper : BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014), (CEUR Workshop Proceedings, 1295, pp. 36-41). CEUR-ws.org.
-
Leemans, M. & Aalst, W.M.P. van der (2014). Discovery of frequent episodes in event logs. In R. Accorsi, P. Ceravolo & B. Russo (Eds.), Conference Paper : 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014, Milan, Italy, November 19-21, 2014), (CEUR Workshop Proceedings, 1293, pp. 31-45). CEUR-ws.org.
-
Leemans, S.J.J., Fahland, D. & Aalst, W.M.P. van der (2014). Discovering block-structured process models from incomplete event logs. In G. Ciardo & E. Kindler (Eds.), Conference Paper : Application and Theory of Petri Nets and Concurrency (35th International Conference, Petri Nets 2014, Tunis, Tunesia, June 23-27, 2014. Proceedings), (Lecture Notes in Computer Science, 8489, pp. 91-110). Berlin: Springer.
-
Leemans, S.J.J., Fahland, D. & Aalst, W.M.P. van der (2014). Discovering block-structured process models from event logs containing infrequent behaviour. In N. Lohmann, M. Song & P. Wohed (Eds.), Conference Paper : Business Process Management Workshops : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers, (Lecture Notes in Business Information Processing, 171, pp. 66-78). Berlin: Springer.
-
Leemans, S.J.J., Fahland, D. & Aalst, W.M.P. van der (2014). Process and deviation exploration with Inductive visual Miner. In L. Limonad & B. Weber (Eds.), Conference Paper : BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014), (CEUR Workshop Proceedings, 1295, pp. 46-50). CEUR-ws.org.
-
Leoni, M. de, Aalst, W.M.P. van der & Dees, M. (2014). A general framework for correlating business process characteristics. In S. Sadiq, P. Soffer & H. Völzer (Eds.), Conference Paper : Business Process Management (12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings), (Lecture Notes in Computer Science, 8659, pp. 250-266). Berlin: Springer.
-
Leoni, M. de, Munoz-Gama, J., Carmona, J. & Aalst, W.M.P. van der (2014). Decomposing alignment-based conformance checking of data-aware process models. In R. Meersman, H. Panetto, T. Dillon, M. Missikoff, L. Liu, O. Pastor, A. Cuzzocrea & T. Sllis (Eds.), Conference Paper : On the Move to Meaningful Internet Systems: OTM 2014 Conferences (Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings), (Lecture Notes in Computer Science, 8841, pp. 3-20). Berlin: Springer.
-
Leoni, M. de & Aalst, W.M.P. van der (2014). The FeaturePrediction package in ProM : correlating business process characteristics. In L. Limonad & B. Weber (Eds.), Conference Paper : BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014), (CEUR Workshop Proceedings, 1295, pp. 26-30). CEUR-ws.org.
-
Lohmann, N. & Fahland, D. (2014). Where did I go wrong? : explaining errors in business process models. In S. Sadiq, P. Soffer & H. Völzer (Eds.), Conference Paper : Business Process Management (12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings), (Lecture Notes in Computer Science, 8659, pp. 283-300). Berlin: Springer.
-
Low, W.Z., De Weerdt, J., Wynn, M.T., Hofstede, A.H.M. ter, Aalst, W.M.P. van der & Broucke, S. vanden (2014). Perturbing event logs to identify cost reduction opportunities : a genetic algorithm-based approach. In Derong Liu & Jennie Si (Eds.), IEEE Congress on Evolutionary Computation (CEC'14, Beijing, China, July 6-11, 2014), (pp. 2428-2435). Piscataway: IEEE.
-
Lu, X., Mans, R.S., Fahland, D. & Aalst, W.M.P. van der (2014). Conformance checking in healthcare based on partially ordered event data. In A. Grau & R. Zurawski (Eds.), Conference Paper : IEEE Emerging Technology and Factory Automation (ETFA 2014, Barcelona, Spain, September 16-19, 2014), (pp. 1-8). IEEE Computer Society.
-
Maggi, F.M., Slaats, T. & Reijers, H.A. (2014). The automated discovery of hybrid processes. In S. Sadiq, P. Soffer & H. Völzer (Eds.), Conference Paper : Business Process Management (12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings), (Lecture Notes in Computer Science, 8659, pp. 392-399). Berlin: Springer.
-
Mans, R.S., Aalst, W.M.P. van der & Verbeek, H.M.W. (2014). Supporting process mining workflows with RapidProM. In L. Limonad & B. Weber (Eds.), Conference Paper : BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014), (CEUR Workshop Proceedings, 1295, pp. 56-60). CEUR-ws.org.
-
Meyer, A., Pufahl, L., Batoulis, K., Kruse, S., Lindhauer, T., Stoff, T., Fahland, D. & Weske, M.H. (2014). Automating data exchange in process choreographies. In M. Jarke, J. Mylopoulos, C. Quix, C. Rolland, Y. Manolopoulos, H. Mouratidis & J. Horkoff (Eds.), Conference Paper : Advanced Information Systems Engineering (26th International Conference, CAISE'14, Thessaloniki, Greece, June 16-20, 2014), (Lecture Notes in Computer Science, 8484, pp. 316-331). Berlin: Springer.
-
Polato, M., Sperduti, A., Burattin, A. & Leoni, M. de (2014). Data-aware remaining time prediction of business process instances. Conference Paper : International Joint Conference on Neural Networks (IJCNN, Beijing, China, July 6-11, 2014), (pp. 816-823). Piscataway: IEEE.
-
Ramezani, E., Fahland, D. & Aalst, W.M.P. van der (2014). Supporting domain experts to select and configure precise compliance rules. In N. Lohmann, M. Song & P. Wohed (Eds.), Conference Paper : Business Process Management Workshops : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers, (Lecture Notes in Business Information Processing, 171, pp. 498-512). Berlin: Springer.
-
Ramezani, E., Gromov, V., Fahland, D. & Aalst, W.M.P. van der (2014). Compliance checking of data-aware and resource-aware compliance requirements. In R. Meersman, H. Panetto, T. Dillon, M. Missikoff, L. Liu, O. Pastor, A. Cuzzocrea & T. Sllis (Eds.), Conference Paper : On the Move to Meaningful Internet Systems: OTM 2014 Conferences (Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings), (Lecture Notes in Computer Science, 8841, pp. 237-257). Berlin: Springer.
-
Rogge-Solti, A., Aalst, W.M.P. van der & Weske, M.H. (2014). Discovering stochastic Petri nets with arbitrary delay distributions from event logs. In N. Lohmann, M. Song & P. Wohed (Eds.), Conference Paper : Business Process Management Workshops : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers, (Lecture Notes in Business Information Processing, 171, pp. 15-27). Berlin: Springer.
-
Rubin, V.A., Lomazova, I.A. & Aalst, W.M.P. van der (2014). Agile development with software process mining. Conference Paper : 2014 International Conference on Software and System Process (ICCSP 2014, Nanjing, China, May 26-28, 2014), (pp. 70-74).
-
Rubin, V.A., Mitsyuk, A.A., Lomazova, I.A. & Aalst, W.M.P. van der (2014). Process mining can be applied to software too!. Conference Paper : 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESIM'14, Torino, Italy, September 18-19, 2014), (pp. 57/1-8). New York NY: ACM.
-
Schunselaar, D.M.M., Verbeek, H.M.W., Aalst, W.M.P. van der & Reijers, H.A. (2014). Petra : Process model based extensible toolset for redesign and analysis. In D. Moldt & H. Rölke (Eds.), Conference Paper : Petri Nets and Software Engineering 2014 (International Workshop, PNSE 2014, Tunis, Tunesia, June 23-24, 2014), (CEUR Workshop Proceedings, 1160, pp. 269-288). CEUR-WS.org.
-
Schunselaar, D.M.M., Verbeek, H.M.W., Reijers, H.A. & Aalst, W.M.P. van der (2014). Using monotonicity to find optimal process configurations faster. In R. Accorsi, P. Ceravolo & B. Russo (Eds.), Conference Paper : 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014, Milan, Italy, November 19-21, 2014), (CEUR Workshop Proceedings, 1293, pp. 123-137). CEUR-ws.org.
-
Verbeek, H.M.W. (2014). Decomposed process mining with DivideAndConquer. In L. Limonad & B. Weber (Eds.), Conference Paper : BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014), (CEUR Workshop Proceedings, 1295, pp. 86-90). CEUR-ws.org.
-
Zelst, S.J. van, Burattin, A., Dongen, B.F. van & Verbeek, H.M.W. (2014). Data streams in ProM 6 : a single-node architecture. In L. Limonad & B. Weber (Eds.), Conference Paper : BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014), (CEUR Workshop Proceedings, 1295, pp. 81-85). CEUR-ws.org.
Academic publications
-
Aalst, W.M.P. van der (2014). Process mining in the large : a tutorial. In E. Zimányi (Ed.), Conference Paper : Business Intelligence : Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures, (Lecture Notes in Business Information Processing, 172, pp. 33-76). Berlin: Springer.
Reports and Master Theses
Academic publ. non-refereed
-
Aalst, W.M.P. van der (2014). Extracting event data from databases to unleash process mining. (External Report, BPM Center Report, No. BPM-14-10). BPMcenter.org, 24 pp.
-
Bera, D., Hee, K.M. van & Nijmeijer, H. (2014). Relationship between Simulink and Petri nets. (External Report, Computer Science Report, No. 14-06). Eindhoven: Technische Universiteit Eindhoven, 28 pp.
-
Conforti, R., Leoni, M. de, La Rosa, M., Aalst, W.M.P. van der & Hofstede, A.H.M. ter (2014). A recommendation system for predicting risks across multiple business process instances. (External Report, BPM Center Report, No. 14-04). BPMcenter.org, 34 pp.
-
De Giacomo, G., De Masellis, R., Grasso, M., Maggi, F.M. & Montali, M. (2014). LTLf and LDLf monitoring : a technical report. (External Report, arXiv.org, No. 1405.0054 [cs.AI]), 16 pp.
-
Gunther, C.W. & Verbeek, H.M.W. (2014). XES - standard definition. (External Report, BPM Center Report, No. BPM-14-09). BPMcenter.org, 24 pp.
-
Leemans, S.J.J., Fahland, D. & Aalst, W.M.P. van der (2014). Discovering block-structured process models from incomplete event logs. (External Report, BPM Center Report, No. 14-05). BPMcenter.org, 23 pp.
-
Leoni, M. de, Munoz-Gama, J., Carmona, J. & Aalst, W.M.P. van der (2014). Decomposing conformance checking on Petri nets with data. (External Report, BPM Center Report, No. BPM-14-06). BPMcenter.org, 20 pp.
-
Leoni, M. de, Aalst, W.M.P. van der & Dees, M. (2014). A general framework for correlating business process characteristics. (External Report, BPM Center Report, No. BPM-14-08). BPMcenter.org, 16 pp.
-
Mannhardt, F., Leoni, M. de, Reijers, H.A. & Aalst, W.M.P. van der (2014). Balanced multi-perspective checking of process conformance. (External Report, BPM Center Report, No. 14-07). BPMcenter.org, 35 pp.
-
Rovani, M., Maggi, F.M., Leoni, M. de, Aalst, W.M.P. van der, Mans, R.S. & Pepino, A. (2014). Declarative process mining in healthcare. (External Report, BPM Center Report, No. BPM-14-11). BPM Center.org, 29 pp.
-
Schunselaar, D.M.M., Verbeek, H.M.W., Aalst, W.M.P. van der & Reijers, H.A. (2014). Petra : Process model based extensible toolset for redesign and analysis. (External Report, BPM Center Report, No. BPM-14-01). BPMcenter.org, 99 pp.