Subscribe to RSSPost Tagged with: "Coloured Petri nets"
Real Time and Transition Priorities in CPN Tools
Some months ago, Eric Verbeek and I worked together on adding a couple features to CPN Tools with the primary focus of getting Eric started with maintaining CPN...
Embedding Declare in CPN Models via ProM
This post has 414 words. Reading it will take approximately 2 minutes.VN:F [1.9.17_1161]Rating: 5.0/5 (1 vote cast)Now, this is really cool! This is part 3 of my...
Cosimulating CPN models and ProM plugins and Application to ProM Orchestration
This post has 598 words. Reading it will take approximately 3 minutes.VN:F [1.9.17_1161]Rating: 4.0/5 (1 vote cast)This picture has nothing to do with the post,...
Sneak Preview: Annotation of CPN Models in ProM
Friday, I showed CPN simulation in ProM. While generating logs directly inside ProM is neat and all, the ultimate goal is to be able to set up test scenarios specified...
CPN Simulation in ProM
A little something I’ve been working with the last week or so: integrating CPN simulation into ProM using Access/CPN. I’ve extended Access/CPN a bit...
Recent Comments