Declare Mining for Dummies

[bibshow file=tech.bib]Probably my last presentation at TU/e: simple, general, and fast Declare mining.  Much of this is in [bibcite key=megaminertech,megaminerfase] (not online yet at the time of writing). [/bibshow] MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your Author Custom HTML Tab […]

Read More…

Fast and Accurate Declare Mining

Presentation I’ll give in two weeks.  How to be significantly faster at mining Declare than any existing tool, and at the same time get much better models. Abstract Declarative models make it possible to describe changing systems or systems with a lot of freedom by imposing global constraints instead of explicitly defining the flow of […]

Read More…

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…

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/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine […]

Read More…