Michael Westergaard
Michael Westergaard
Eindhoven Technical University (the Netherlands)
Verified email at - Homepage
Cited by
Cited by
Process mining manifesto
W van der Aalst, A Adriansyah, AKA de Medeiros, F Arcieri, T Baier, ...
Business process management workshops, 169-194, 2012
CPN tools for editing, simulating, and analysing coloured Petri nets
AV Ratzer, L Wells, HM Lassen, M Laursen, JF Qvortrup, MS Stissing, ...
International Conference on Application and Theory of Petri Nets, 450-462, 2003
Monitoring business constraints with linear temporal logic: An approach based on colored automata
FM Maggi, M Montali, M Westergaard, WMP Van Der Aalst
International Conference on Business Process Management, 132-147, 2011
The access/CPN framework: a tool for interacting with the CPN tools simulator
M Westergaard, L Kristensen
Applications and Theory of Petri Nets, 313-322, 2009
A New Isolation with Migration Model along Complete Genomes Infers Very Different Divergence Processes among Closely Related Great Ape Species
T Mailund, AE Halager, M Westergaard, JY Dutheil, K Munch, ...
PLoS Genetics 8 (12), e1003125, 2012
Runtime Verification of LTL-Based Declarative Process Models
F Maggi, M Westergaard, M Montali, W van der Aalst
Runtime Verification, 131-146, 2012
Strategies for Modeling Complex Processes Using Colored Petri Nets
WMP van der Aalst, C Stahl, M Westergaard
Transactions on Petri Nets and Other Models of Concurrency VII, 6-55, 2013
CPN Tools 4: Multi-formalism and Extensibility
M Westergaard
Application and Theory of Petri Nets and Concurrency, 400-409, 2013
The britney suite animation tool
M Westergaard, K Lassen
Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment.
M Westergaard, FM Maggi
BPM (Demos) 820, 1-5, 2011
Looking into the Future
M Westergaard, FM Maggi
On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012
Better algorithms for analyzing and enacting declarative workflow languages using LTL
M Westergaard
International Conference on Business Process Management, 83-98, 2011
Mixing Paradigms for More Comprehensible Models
M Westergaard, T Slaats
Business Process Management, 283-290, 2013
Unconstrainedminer: efficient discovery of generalized declarative process models
M Westergaard, C Stahl, HA Reijers
BPM Center Report BPM-13-28, BPMcenter. org, 28, 2013
Modeling and verification of a protocol for operational support using coloured petri nets
M Westergaard, FM Maggi
International Conference on Application and Theory of Petri Nets and†…, 2011
ASAP: An Extensible Platform for State Space Analysis
M Westergaard, S Evangelista, L Kristensen
Applications and Theory of Petri Nets, 303-312, 2009
Access/CPN 2.0: a high-level interface to coloured petri net models
M Westergaard
Applications and Theory of Petri Nets, 328-337, 2011
Automatic structure-based code generation from coloured Petri nets: a proof of concept
LM Kristensen, M Westergaard
International Workshop on Formal Methods for Industrial Critical Systems†…, 2010
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms
M Westergaard, T Slaats
Generating Event Logs with Workload-Dependent Speeds from Simulation Models
J Nakatumba, M Westergaard, WMP van der Aalst
Advanced Information Systems Engineering Workshops, 383-397, 2012
The system can't perform the operation now. Try again later.
Articles 1–20