Archive for June, 2011

Modeling and Verification of a Protocol for Operational Support

By June 23, 2011 1 Comments Read More →
Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models

Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models

And here’s the demo I gave on the demo slide:

By June 22, 2011 0 Comments Read More →

Towards Verifying Parallel Algorithms using Coloured Petri Nets

By June 22, 2011 0 Comments Read More →

Efficient Implementation of Prioritized Transitions for High-level Petri Nets

By June 22, 2011 0 Comments Read More →

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).

By June 22, 2011 0 Comments Read More →
International!!!

International!!!

It’s like from two different continents!

By June 21, 2011 0 Comments Read More →