Putting high-level Petri nets to work in industry
References (20)
Putting Petri nets to work
IEEE Comput.
(December 1979)Kommunikation mit Automaten
Petri nets: Properties, analysis and applications
Timed coloured Petri nets and their application to logistics
Information System Engineering: A Formal Approach
(1994)Coloured Petri nets: A high level language for system design and analysis
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use
- et al.
A class of generalised stochastic Petri nets for the performance evaluation of multiprocessor systems
ACM Trans. Comput. Syst.
(May 1984) - et al.
Modelling and verification of time dependent systems using time Petri nets
IEEE Trans. Software Eng.
(March 1991) - et al.
Modelling logistics systems with ExSpect
Cited by (50)
Business Process Management: The evolution of a discipline
2021, Computers in IndustryCitation Excerpt :“It is becoming clear that workflow management systems are the next step in supporting office work, after other tools like database management systems, spreadsheets and electronic mail systems.” Van der Aalst (1994) In many of the Computers in Industry articles that relate to BPM, this view is reflected in the assumption that a BPMS exists in the context of the more specific research challenge at hand.
Data driven stochastic modelling and simulation of cooling demand within breweries
2016, Journal of Food EngineeringOptimisation of water usage in a brewery clean-in-place system using reference nets
2015, Journal of Cleaner ProductionBuilding insightful simulation models using Petri Nets - A structured approach
2011, Decision Support SystemsCitation Excerpt :In this section, we first give a brief introduction to ExSpect™. More details can be found in Van Hee et al. [39] and Van der Aalst [31,32]. More particularly, we focus on its suitability for embodying high-level manufacturing concepts.
Streaming Process Mining with Beamline (Extended Abstract)
2022, CEUR Workshop ProceedingsstarMC: an automata based CTL* model checker
2022, PeerJ Computer Science
- ∗
Wil van der Aalst in an Assistant Professor in the Department of Mathematics and Computing Science at Eindhoven University of Technology. In 1992, he completed his PhD thesis on Petri nets and their application to logistics. His research interests are in simulation, information systems, manufacturing and real-time systems. He is also working as a part-time consultant for Bakkenist Management Consultants.