Michael Westergaard
Michael Westergaard
Eindhoven Technical University (the Netherlands)
Verified email at tue.nl - Homepage
TitleCited byYear
Process mining manifesto
W van der Aalst, A Adriansyah, AKA de Medeiros, F Arcieri, T Baier, ...
Business process management workshops, 169-194, 2012
7282012
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
3982003
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
1782011
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
862012
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
852009
Runtime Verification of LTL-Based Declarative Process Models
F Maggi, M Westergaard, M Montali, W van der Aalst
Runtime Verification, 131-146, 2012
702012
The britney suite animation tool
M Westergaard, K Lassen
Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006
562006
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
512013
CPN Tools 4: Multi-formalism and Extensibility
M Westergaard
Application and Theory of Petri Nets and Concurrency, 400-409, 2013
462013
Better algorithms for analyzing and enacting declarative workflow languages using LTL
M Westergaard
International Conference on Business Process Management, 83-98, 2011
442011
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment.
M Westergaard, FM Maggi
BPM (Demos) 820, 1-5, 2011
422011
Looking into the Future
M Westergaard, FM Maggi
On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012
412012
Mixing Paradigms for More Comprehensible Models
M Westergaard, T Slaats
Business Process Management, 283-290, 2013
382013
ASAP: An Extensible Platform for State Space Analysis
M Westergaard, S Evangelista, L Kristensen
Applications and Theory of Petri Nets, 303-312, 2009
312009
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
302011
Unconstrainedminer: efficient discovery of generalized declarative process models
M Westergaard, C Stahl, HA Reijers
BPM Center Report BPM-13-28, BPMcenter. org, 28, 2013
252013
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms
M Westergaard, T Slaats
24*
Access/CPN 2.0: a high-level interface to coloured petri net models
M Westergaard
Applications and Theory of Petri Nets, 328-337, 2011
232011
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
222010
Supporting multiple pointing devices in microsoft windows
M Westergaard
Proceedings of Microsoft Summer Workshop for Faculty and PhDs. Cambridge …, 2002
202002
The system can't perform the operation now. Try again later.
Articles 1–20