From which institute did the writer of Fuzzy Mining get his MSc degree?
Technische Universiteit Eindhoven (TU/e)
Wil M. P. van der Aalst.: Defining and visualizing process execution variants from partially ordered event data. (2010) authored by Wil M. P. van der Aalst. Evandro Bacarin et al.: SpiCa's Multi-Party Negotiation Protocol: Implementation Using YAWL. (2019) authored by Wil M. P. van der Aalst. Alessandro Artale et al.: Reviving Token-based Replay. (2019) authored by Wil M. P. van der Aalst. Kurt Jensen et al.: Transactions on Petri Nets and Other Models of Concurrency VI (2012) edited by Wil M. P. van der Aalst. Alessandro Berti and Wil M. P. van der Aalst: On the Syntax of Reference Model Configuration - Transforming Nataliya Mulyar et al.: The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. (2007) authored by Wil M. P. van der Aalst. Daniel Schuster et al.: Control-Flow-Based Querying of Process Executions from Partially Ordered Event Data. (2021) authored by Wil M. P. van der Aalst. Majid Rafiei et al.: A Framework for Extracting and Encoding Features from Object-Centric Event Data. (2022) authored by Wil M. P. van der Aalst. H. M. W. Verbeek and Wil M. P. van der Aalst. Lukas Liss et al.: Object-Centric Alignments. (2023) authored by Wil M. P. van der Aalst. Lukas Liss et al.: Object-Centric Wil M. P. van der Aalst, Kurt Jensen and others.: Transactions on Petri Nets and Other Models of Concurrency VII. (2020) authored by Wil M. P. van der Aalst. Zahra Toosinezhad et al.: Detecting System-Level Behavior Leading To Dynamic Bottlenecks. Wil M. P. van der Aalst et al.: Proceedings of the 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. The 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, was edited by Wil M. P. van der Aalst. Eric Verbeek and Wil M. P. van der Aalst: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Xixi Lu et al.: Detecting Deviating Behaviors Without Models. (2015) authored by Wil M. P. van der Aalst. Massimiliano de Leoni et al.: Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models. (2014) authored by Wil M. P. van der Aalst. Kurt Jensen et al.: Transactions on Petri Nets and Other Models of Concurrency I Wil M. P. van der Aalst et al.: Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. (2017) authored by Wil M. P. van der Aalst. Jan Niklas Adams et al.: Defining Cases and Variants for Object-Centric Event Data. (2017) authored by Wil M. P. van der Aalst.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: From which institute did the writer of Fuzzy Mining get his MSc degree?
Context: Wil M. P. van der Aalst.: Defining and visualizing process execution variants from partially ordered event data. (2010) authored by Wil M. P. van der Aalst. Evandro Bacarin et al.: SpiCa's Multi-Party Negotiation Protocol: Implementation Using YAWL. (2019) authored by Wil M. P. van der Aalst. Alessandro Artale et al.: Reviving Token-based Replay. (2019) authored by Wil M. P. van der Aalst. Kurt Jensen et al.: Transactions on Petri Nets and Other Models of Concurrency VI (2012) edited by Wil M. P. van der Aalst. Alessandro Berti and Wil M. P. van der Aalst: On the Syntax of Reference Model Configuration - Transforming Nataliya Mulyar et al.: The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. (2007) authored by Wil M. P. van der Aalst. Daniel Schuster et al.: Control-Flow-Based Querying of Process Executions from Partially Ordered Event Data. (2021) authored by Wil M. P. van der Aalst. Majid Rafiei et al.: A Framework for Extracting and Encoding Features from Object-Centric Event Data. (2022) authored by Wil M. P. van der Aalst. H. M. W. Verbeek and Wil M. P. van der Aalst. Lukas Liss et al.: Object-Centric Alignments. (2023) authored by Wil M. P. van der Aalst. Lukas Liss et al.: Object-Centric Wil M. P. van der Aalst, Kurt Jensen and others.: Transactions on Petri Nets and Other Models of Concurrency VII. (2020) authored by Wil M. P. van der Aalst. Zahra Toosinezhad et al.: Detecting System-Level Behavior Leading To Dynamic Bottlenecks. Wil M. P. van der Aalst et al.: Proceedings of the 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. The 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, was edited by Wil M. P. van der Aalst. Eric Verbeek and Wil M. P. van der Aalst: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Xixi Lu et al.: Detecting Deviating Behaviors Without Models. (2015) authored by Wil M. P. van der Aalst. Massimiliano de Leoni et al.: Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models. (2014) authored by Wil M. P. van der Aalst. Kurt Jensen et al.: Transactions on Petri Nets and Other Models of Concurrency I Wil M. P. van der Aalst et al.: Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. (2017) authored by Wil M. P. van der Aalst. Jan Niklas Adams et al.: Defining Cases and Variants for Object-Centric Event Data. (2017) authored by Wil M. P. van der Aalst.
[/INST] Answer:
