Improved Paradigm for Analysis, Verification and Data Retention of CPNs using CPNaaS

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

Basic Design Principle of 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 […]

Read More… from Basic Design Principle of CPNaaS

I’ve now surveyed the Dutch housing market for a couple weeks, and two things strike me as odd: 1) for a country that’s largely located under sea level, remarkably few places list “moat” as a selling point. I mean, a weekend and a shovel and you’re golden with tremendous added value. 2) for a country […]

Read More… from