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 [...]
Living Room Redecoration
This is more or less how our living room is looking now: Cozy, right? The plan is to add a couch and a bar. This is the intended end result: Couch, shelf and music added. Also light. The important part is of [...]
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 [...]
My New Hobbies: Fact-Checking and Filtering
I really love Facebook, I really do. Having moved away from the country I grew up in 3 years ago, and currently spending extended periods away from home, Facebook really works for me as a way to keep in touch with people back [...]
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 [...]