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 … http://ift.tt/1IBZqRc