Recent Posts
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-friendly1) or smart. The full miner is [...]
Moscow State University
Wil was giving a talk at the MSU, so we had a brief tour before the talk. It’s pretty neat. This is the main building. It is quite large. The building is just south1) of the center, near the Moskva River, on the [...]
Real Colorsets in CPN Tools 4
Here’s a quick demo of real color sets (along with intinf and time colorsets) in CPN Tools 4. This feature is available starting from CPN Tools 3.5.5 – get it while it’s hot from http://cpntools.org/download
Modeling is not Just for Supermodels
Presentation I’ll give next Monday. I went for a title which is catchy, but in the end turned out to not really have anything to do with the contents. Then again, “Stuff about CPN Tools and Declare and Operational Support and How [...]
