Подписаться
Michael Westergaard
Michael Westergaard
Eindhoven Technical University (the Netherlands)
Подтвержден адрес электронной почты в домене tue.nl - Главная страница
Название
Процитировано
Процитировано
Год
Process mining manifesto
W van der Aalst, A Adriansyah, AKA de Medeiros, F Arcieri, T Baier, ...
Business process management workshops, 169-194, 2012
20112012
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
5632003
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
2932011
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
1272009
Runtime Verification of LTL-Based Declarative Process Models
F Maggi, M Westergaard, M Montali, W van der Aalst
Runtime Verification, 131-146, 2012
1262012
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
1252012
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
862013
CPN Tools 4: Multi-formalism and Extensibility
M Westergaard
Application and Theory of Petri Nets and Concurrency, 400-409, 2013
742013
The britney suite animation tool
M Westergaard, K Lassen
Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006
652006
Better algorithms for analyzing and enacting declarative workflow languages using LTL
M Westergaard
International Conference on Business Process Management, 83-98, 2011
612011
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
612011
Looking into the Future
M Westergaard, FM Maggi
On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012
562012
Mixing Paradigms for More Comprehensible Models
M Westergaard, T Slaats
Business Process Management, 283-290, 2013
532013
Unconstrainedminer: efficient discovery of generalized declarative process models
M Westergaard, C Stahl, HA Reijers
BPM Center Report BPM-13-28, BPMcenter. org, 28, 2013
472013
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
382011
ASAP: An Extensible Platform for State Space Analysis
M Westergaard, S Evangelista, L Kristensen
Applications and Theory of Petri Nets, 303-312, 2009
382009
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
372012
Access/CPN 2.0: a high-level interface to coloured petri net models
M Westergaard
Applications and Theory of Petri Nets, 328-337, 2011
342011
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms
M Westergaard, T Slaats
31*
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
262010
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20