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 […]
I think by now, everybody’s seen Elon Musk announce the Tesla battery. It’s a big ugly thing that will store power. It’s definitely interesting, but he annoyingly uses alarmist environmentalist lies to sell the product. Here’s the first lie, the amount of CO2 in the atmosphere, screen shot from the video in the link above: […]
A couple weeks ago, I went to NLJUG’s Internet of Things developer day. It’s 15 years ago I was first introduced to IoT, and back then I made fun of it, because who in their right mind would want all their things on the internet? What we need to make IoT a thing is three things. […]
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: Continuous integration and cross-compiling on 3 platforms where applicable using Jenkins: […]