Segui
Michael Westergaard
Michael Westergaard
Eindhoven Technical University (the Netherlands)
Email verificata su tue.nl - Home page
Titolo
Citata da
Citata da
Anno
Process mining manifesto
W van der Aalst, A Adriansyah, AKA de Medeiros, F Arcieri, T Baier, ...
Business process management workshops, 169-194, 2012
18032012
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
5332003
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
2782011
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
1222012
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
1222009
Runtime Verification of LTL-Based Declarative Process Models
F Maggi, M Westergaard, M Montali, W van der Aalst
Runtime Verification, 131-146, 2012
1182012
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
832013
CPN Tools 4: Multi-formalism and Extensibility
M Westergaard
Application and Theory of Petri Nets and Concurrency, 400-409, 2013
672013
The britney suite animation tool
M Westergaard, K Lassen
Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006
632006
Declare: A tool suite for declarative workflow modeling and enactment
M Westergaard, FM Maggi
Proceedings of the Demo Track of the Nineth Conference on Business Process …, 2011
592011
Better algorithms for analyzing and enacting declarative workflow languages using LTL
M Westergaard
International Conference on Business Process Management, 83-98, 2011
582011
Looking into the Future
M Westergaard, FM Maggi
On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012
552012
Unconstrainedminer: efficient discovery of generalized declarative process models
M Westergaard, C Stahl, HA Reijers
BPM Center Report BPM-13-28, BPMcenter. org, 28, 2013
492013
Mixing Paradigms for More Comprehensible Models
M Westergaard, T Slaats
Business Process Management, 283-290, 2013
482013
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
372011
ASAP: An Extensible Platform for State Space Analysis
M Westergaard, S Evangelista, L Kristensen
Applications and Theory of Petri Nets, 303-312, 2009
372009
Access/CPN 2.0: a high-level interface to coloured petri net models
M Westergaard
Applications and Theory of Petri Nets, 328-337, 2011
332011
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms
M Westergaard, T Slaats
29*
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
282012
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
242010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20