CPN Tools 4: Minor Features

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

Read More… from CPN Tools 4: Minor Features

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

Read More… from CPN Tools 4: New Types

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

Read More… from Some 12 years of CPN Tools

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

Read More… from CPN Tools 4: Place-Transition Petri Nets

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

Read More… from CPN Tools 4: Declare Constraints

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

Read More… from Simple Declare Editing in CPN Tools 4