Michael Westergaard

Available identifiers

zbMath Open westergaard.michaelMaRDI QIDQ2849448

List of research outcomes

Publication	Date of Publication	Type
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching	2013-09-17	Paper
Strategies for Modeling Complex Processes Using Colored Petri Nets	2013-05-31	Paper
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets	2013-03-13	Paper
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods	2012-09-04	Paper
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets	2011-06-29	Paper
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection	2009-12-09	Paper
The ComBack Method – Extending Hash Compaction with Backtracking	2009-03-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper

Research outcomes over time

This page was built for person: Michael Westergaard