MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Modeling and Verification of a Protocol for Operational Support
Category: Presentations
Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
And here’s the demo I gave on the demo slide: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
Towards Verifying Parallel Algorithms using Coloured Petri Nets
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Towards Verifying Parallel Algorithms using Coloured Petri Nets
Efficient Implementation of Prioritized Transitions for High-level Petri Nets
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Efficient Implementation of Prioritized Transitions for High-level Petri Nets
Using Declarative Workflow Modeling to Achieve Happiness in Life
This is a presentation I’ve just finished (at the time of publication). This presentation includes content from this presentation and these three demos. To get more information, check either of these papers: The four demos mentioned in the slide-set are embedded here in the order they are shown. MichaelTime person of the year 2006, Nobel Peace […]
Read More… from Using Declarative Workflow Modeling to Achieve Happiness in Life
Slides from AIS Group Meeting
Note: If you get a security error, it is not from my site but from SlideShare – I have contacted their support to fix the problem. This morning I gave a presentation of what I’ve been doing lately. It is basically an extended version of my (planned) 5 minute presentation for the BEST workshop. These […]