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 […]
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/ […]
Bam! Super-scalar, parallel Declare mining. Full Declare language mined on BPI challenge log 2012 in just 60 seconds. Improved version of this miner. […]
I may be working on too many different things at the same time… […]
Read More… from I may be working on too many different things at the same time…