By far, the biggest new feature in CPN Tools 4 is simulator extensions. Simulator extensions makes it possible to add functionality to CPN Tools written in Java. This feature describes the basics of simulator extensions: their architecture, the available communication patterns, and the Java interface for extensions. […]
Aside from the big new features, CPN Tools 4 also introduces a lot of useful minor features. Here is a mixed grab-bag of those. In this post, I’ll show the new model statistics, new simulation stop criteria, and the simplified state-space analysis. Model Statistics It is often useful to know some statistics of a model […]
CPN Tools 4 adds a couple new types to make modeling easier. The new types are intinf, real and time. These types makes it easier to construct readable models as we no longer have to represent large numbers using strings, we can use real values without any rounding, and we can directly embed time stamps […]
This video has been making its rounds a year ago or so. Now it’s getting its second wind. It seems horrible (if you’re a socialist), but let’s endeavor my favorite hobby: fact-checking: The video shows some charts, first how people think wealth is distributed, how they think it should be distributed and how it is […]
ProM has had support for Declare for quite some time. Support has never been the best, because the Declare package just embedded all of the Declare tool inside ProM, which is of course not desirable. The old data-structure had some problems, mostly that it was written for a different purpose, which made it have dependencies […]
Britney’s new single, Work Bitch, is out! Co-written by will.i.am it is a bit more dancey than most Britney songs, but it’s obviously the way she’s been going recently, and songs like Till the World Ends and Slave 4 U are still hot. The lyrics are a delightful liberal mix essentially boiling down to “if […]