Process mining manifesto W van der Aalst, A Adriansyah, AKA de Medeiros, F Arcieri, T Baier, ... Business process management workshops, 169-194, 2012 | 1868 | 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 | 547 | 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 | 281 | 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 | 128 | 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 | 123 | 2012 |
Runtime Verification of LTL-Based Declarative Process Models F Maggi, M Westergaard, M Montali, W van der Aalst Runtime Verification, 131-146, 2012 | 122 | 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 | 84 | 2013 |
CPN Tools 4: Multi-formalism and Extensibility M Westergaard Application and Theory of Petri Nets and Concurrency, 400-409, 2013 | 69 | 2013 |
The britney suite animation tool M Westergaard, K Lassen Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006 | 62 | 2006 |
Better algorithms for analyzing and enacting declarative workflow languages using LTL M Westergaard International Conference on Business Process Management, 83-98, 2011 | 59 | 2011 |
Looking into the Future M Westergaard, FM Maggi On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012 | 58 | 2012 |
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 | 58 | 2011 |
Mixing Paradigms for More Comprehensible Models M Westergaard, T Slaats Business Process Management, 283-290, 2013 | 49 | 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 | 47 | 2013 |
ASAP: An Extensible Platform for State Space Analysis M Westergaard, S Evangelista, L Kristensen Applications and Theory of Petri Nets, 303-312, 2009 | 39 | 2009 |
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 | 37 | 2011 |
Access/CPN 2.0: a high-level interface to coloured petri net models M Westergaard Applications and Theory of Petri Nets, 328-337, 2011 | 32 | 2011 |
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 | 31 | 2012 |
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms M Westergaard, T Slaats | 30* | |
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 | 25 | 2010 |