CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. - Anne V. Ratzer; Lisa Wells; Henry Michael Lassen; Mads Laursen; Jacob Frank Qvortrup; Martin Stig Stissing; Michael Westergaard; Søren Christensen; Kurt Jensen (ICATPN, 2003)

Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. - Thomas Mailund; Michael Westergaard (TACAS, 2004)

Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. - Lars Michael Kristensen; Michael Westergaard; Peder Christian Nørgaard (IFM, 2005)

The BRITNeY Suite Animation Tool. - Michael Westergaard; Kristian Bisgaard Lassen (ICATPN, 2006)

The ComBack Method - Extending Hash Compaction with Backtracking. - Michael Westergaard; Lars Michael Kristensen; Gerth Stølting Brodal; Lars Arge (ICATPN, 2007)

A Game-theoretic Approach to Behavioural Visualisation. - Michael Westergaard (FMIS@BCS HCI, 2007)

ASAP: An Extensible Platform for State Space Analysis. - Michael Westergaard; Sami Evangelista; Lars Michael Kristensen (Petri Nets, 2009)

The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. - Michael Westergaard; Lars Michael Kristensen (Petri Nets, 2009)

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. - Sami Evangelista; Michael Westergaard; Lars Michael Kristensen (Trans. Petri Nets Other Model. Concurr., 2009)

Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. - Lars Michael Kristensen; Michael Westergaard (FMICS, 2010)

Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. - Michael Westergaard (Petri Nets, 2011)

Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets. - Michael Westergaard (PNSE, 2011)

Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. - Michael Westergaard; Fabrizio Maria Maggi (Petri Nets, 2011)

Efficient Implementation of Prioritized Transitions for High-level Petri Nets. - Michael Westergaard; Henricus M. W. (Eric) Verbeek (PNSE, 2011)

Process Mining Manifesto. - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier 001; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona 001; et al. (Business Process Management Workshops (1), 2011)

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. - Fabrizio Maria Maggi; Marco Montali; Michael Westergaard; Wil M. P. van der Aalst (BPM, 2011)

Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. - Michael Westergaard (BPM, 2011)

Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. - Michael Westergaard; Fabrizio Maria Maggi (BPM (Demos), 2011)

Runtime Verification of LTL-Based Declarative Process Models. - Fabrizio Maria Maggi; Michael Westergaard; Marco Montali; Wil M. P. van der Aalst (RV, 2011)

Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods. - Thomas Mailund; Anders E. Halager; Michael Westergaard (Petri Nets, 2012)

An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. - Joyce Nakatumba; Michael Westergaard; Wil M. P. van der Aalst (Petri Nets, 2012)

Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. - Michael Westergaard; Dirk Fahland; Christian Stahl (PNSE, 2012)

Generating Event Logs with Workload-Dependent Speeds from Simulation Models. - Joyce Nakatumba; Michael Westergaard; Wil M. P. van der Aalst (CAiSE Workshops, 2012)

Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models. - Michael Westergaard; Fabrizio Maria Maggi (OTM Conferences (1), 2012)

Verifying Parallel Algorithms and Programs Using Coloured Petri Nets. - Michael Westergaard (Trans. Petri Nets Other Model. Concurr., 2012)

A Graphical Approach to Component-Based and Extensible Model Checking Platforms. - Michael Westergaard; Lars Michael Kristensen (Trans. Petri Nets Other Model. Concurr., 2012)

CPN Tools 4: Multi-formalism and Extensibility. - Michael Westergaard (Petri Nets, 2013)

Beautiful Workflows: A Matter of Taste? - Wil M. P. van der Aalst; Michael Westergaard; Hajo A. Reijers (The Beauty of Functional Code, 2013)

Mixing Paradigms for More Comprehensible Models. - Michael Westergaard; Tijs Slaats (BPM, 2013)

CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms. - Michael Westergaard; Tijs Slaats (BPM (Demos), 2013)

Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. - Michael Westergaard; Christian Stahl (BPM (Demos), 2013)

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. - Richard Müller 001; Christian Stahl; Wil M. P. van der Aalst; Michael Westergaard (ICSOC, 2013)

Strategies for Modeling Complex Processes Using Colored Petri Nets. - Wil M. P. van der Aalst; Christian Stahl; Michael Westergaard (Trans. Petri Nets Other Model. Concurr., 2013)

Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. - Michael Westergaard; Dirk Fahland; Christian Stahl (Trans. Petri Nets Other Model. Concurr., 2013)

Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models. - Fabrizio Maria Maggi; Michael Westergaard (Int. J. Cooperative Inf. Syst., 2014)

Designing software for operational decision support through coloured Petri nets. - Fabrizio Maria Maggi; Michael Westergaard (Enterp. Inf. Syst., 2017)