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. […]
Tag: Declare
UnconstrainedMiner
This is a demo of the UnconstrainedMiner, a simple but fast for mining full Declare models. The tool uses symmetry reduction and parallelism to speed up mining, and uses a super-scalar process allowing it to mine several constraints at the same time. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Super-scalar, parallel Declare mining
Bam! Super-scalar, parallel Declare mining. Full Declare language mined on BPI challenge log 2012 in just 60 seconds. Improved version of this miner. […]
CPN Tools and Processes
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/ […]
CPN Tools and Processes
Demo of process-oriented features of CPN Tools 4. I apologize for the bad sound. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Quick and Dirty Declare Mining
We needed a bit more information from the Declare miner, so I proposed making a quick and dirty one based on my improved automaton library. This is the result of one afternoon, so it’s not really user-friendly ((It’s just very particular about which users it is friendly to…)) or smart. The full miner is around […]