Lad nu være med at kigge på meningsmålinger, tåber!

Det sidste afsnit i denne artikel er obligatorisk for alle der nogensinde har kigget på en meningsmåling og ikke tænkt “vrøvl.”  Da du er en del af de frembrusende unge, der ikke læser bogstaver medmindre de i virkeligheden er billeder af patter, har jeg fremhævet de vigtigste pointer med fed skrift.  Du kan være doven og […]

Read More… from Lad nu være med at kigge på meningsmålinger, tåber!

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

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 analysis API, and the state-space-based verification API.  In addition, I’m planning […]

Read More… from CPNaaS API Preview

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 project I like to cal CPNaaS – Colored Petri Nets as […]

Read More… from CPNaaS – Colored Petri Nets as a Service

Reality Check: Elon Musk and Manipulation

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: […]

Read More… from Reality Check: Elon Musk and Manipulation