CPN Tools 4 Extensions: Part 1: Basics

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

Read More… from CPN Tools 4 Extensions: Part 1: Basics

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

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