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
Month: June 2011
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
Cross Harder
No doubt, you’ve already seen this wonder: I love B’s arch smile and the great humor (like the hilarious Crossroads 2 advertisement). MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
International!!!
It’s like from two different continents! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]