Tag: CPN Tools
Is Google’s Go-bot a Breakthrough for Artificial Intelligence?
If you know Betteridge’s Law of Headlines, you immediately know the answer is “no.” The answer, much like kids, is not really the interesting part however; what is interesting is the process of getting there. Go, like chess and most other games, has been […]
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 […]
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. […]
CPNaaS API Preview
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 […]
CPNaaS – Colored Petri Nets as a Service
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 […]
Teaser: A Modern Setup for CPN Tools
The past time I’ve been working on setting up a modern infrastructure for CPN Tools. It’s not done yet – I’ll post on this site when it is ready – but here are some teasers. First of all, modern distributed version control with Gitlab: […]
