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 […]
Tag: CPN Tools
CPN Tools 4: New Types
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 […]
Some 12 years of CPN Tools
Having just pushed the release button for CPN Tools 4, I did some clean-up of old versions (putting them in my personal archive). Here’s some 12 years of CPN Tools in one screen shot. For the release of 3, I made this collage. (of note: multi-touch in 1.0.0; of definitely-don’t-notice-this: 1.1.0 and 1.2.0 can’t be […]
CPN Tools 4: Place-Transition Petri Nets
CPN Tools is usually known for modeling with colored Petri nets. Colored Petri nets augment standard place-transition Petri nets (PT-nets) with data types, and as such are a real extension that can easily embed PT-nets. PT-nets come with a couple extensions that are crucial for this lower-level formalism, but which can be emulated in colored […]
CPN Tools 4: Declare Constraints
CPN Tools 4 merges the colored Petri net language with the Declare language. Declare was previously supported in its own tool, also named Declare. Everything herein can be done with CPN Tools pre-releases starting from 3.9.2; get your copy here. In colored Petri nets, the control flow is either dependent on data or on explicit […]
Simple Declare Editing in CPN Tools 4
Here I demonstrate simple editing of Declare in CPN Tools 4; we notice that enabling is updated as I simulate and alter the constraints. For a full description of the facility, refer to https://westergaard.eu/2013/08/cpn-tools-4-declare-constraints/ MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]