Michael Westergaard

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching Transactions on Petri Nets and Other Models of Concurrency VIII	2013-09-17	Paper
Strategies for modeling complex processes using colored Petri nets Transactions on Petri Nets and Other Models of Concurrency VII	2013-05-31	Paper
Verifying parallel algorithms and programs using coloured Petri nets Transactions on Petri Nets and Other Models of Concurrency VI	2013-03-13	Paper
Using colored Petri nets to construct coalescent hidden Markov models: automatic translation from demographic specifications to efficient inference methods Lecture Notes in Computer Science	2012-09-04	Paper
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets Applications and Theory of Petri Nets	2011-06-29	Paper
The ComBack method revisited: caching strategies and extension with delayed duplicate detection Transactions on Petri Nets and Other Models of Concurrency III	2009-12-09	Paper
The ComBack Method – Extending Hash Compaction with Backtracking Petri Nets and Other Models of Concurrency – ICATPN 2007	2009-03-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper

Research outcomes over time

This page was built for person: Michael Westergaard