Am I the only one who thinks that both sides in the whole confederate flag debacle ((Some idiot kid shot up a bunch of black people in a church. Then some equally big idiots decided it was really because of a flag.)) are drooling idiots? So, you’re outraged that the flag is being removed? How about […]
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!
Paul McCartney
Paul McCartney was playing in Ziggo Dome last Sunday. It's still amazing to see a 72 years old man on stage for a full 3 hours. He played a healthy mix of his songs, though perhaps a bit heavy on more obscure and new numbers than last time. We had a fun crows of six […]
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 […]
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 […]