Tag: Declare
Declare Mining for Dummies
Probably my last presentation at TU/e: simple, general, and fast Declare mining. Much of this is in [1, 2] (not online yet at the time of writing). [1] M. Westergaard, C. Stahl, and H. A. Reijers, “UnconstrainedMiner: Efficient Discovery of Generalized Declarative Process Models,” […]
Q: What is this?
Q: What is this? A: It’s a Declare model atop a cup of tea. It’s a Model T. Ba-dum-tsch!
New Declare Package in ProM
ProM has had support for Declare for quite some time. Support has never been the best, because the Declare package just embedded all of the Declare tool inside ProM, which is of course not desirable. The old data-structure had some problems, mostly that it […]
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 […]
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, […]
Why think when you have Facebook?
Using the classical “why think when you have Facebook,” I was wondering if anybody can spot the mistake in the translation. I know THAT it is wrong, just not where.
