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