Design/CPN was the first tool supporting computer-based editing and simulation of colored Petri nets. It was later extended with a for the time powerful state-space analysis tool. CPN Tools improved on Design/CPN by merging the editing and simulation phases, vastly speeding up the modeling phase because simple errors could be found and fixed very quickly. […]
Read More… from Improved Paradigm for Analysis, Verification and Data Retention of CPNs using CPNaaS
CPNaaS is my new under-development API for colored Petri nets-as-a-service, i.e., a web-API for tools. At the core of the API is a RESTful web-service. This just means that each resource has a unique URL, which is manipulated as if it were a web-page. Web-pages are normally just obtained for reading (GET), but may also […]
A couple days ago, I wrote about my idea for an API for CPNs, CPNaaS. I’ve now gotten around to starting specifying the API. The service comprises 4 APIs and one tentative API: the specification and syntax check API, the simulation API, the simulation-based analysis API, and the state-space-based verification API. In addition, I’m planning […]
I’ve a ton of great ideas for things to do with Petri nets. Colored nets in particular. CPN Tools ships with a great simulator, which is both fast and versatile. Unfortunately, it is extremely cumbersome to use. Therefore, I am working on a great project I like to cal CPNaaS – Colored Petri Nets as […]