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 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 […]
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/ […]
Tool presentation of CPN Tools 4 from Petri Nets 2013. If you want to see CPN Tools 5, consider our IndieGoGo campaign. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Tacky or clever? Why can’t it be both? […]
Tool demonstration submitted to BPM 2013. http://www.youtube.com/watch?v=_W8CEP7cJ0c MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]