Skip to content
Archive of posts tagged Coloured Petri nets

Generated Models

Ah, generated models.  Pretty. Should maybe work on my layout algorithm, though…

ProM Package Documentation: CPNet

I should be a technical writer!  Perhaps I should not write documentation when tired…  Read this!  The power of Greyskull commands you! CPNet (You can clearly see that I get bored around the middle of page 2…)

Modeling and Verification of a Protocol for Operational Support

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

And here’s the demo I gave on the demo slide: Get the Flash Player to see this content.

Towards Verifying Parallel Algorithms using Coloured Petri Nets