I’m working on a project to unfold coloured Petri nets (CP-nets or CPNs). Our tool almost but not entirely supports hierarchical CPN models, so I have to make some flat models. As both of our interesting examples (DYMO and ERDP) are hightly hierarchical, I need to flatten them. Luckily, our tool, CPN Tools, is able […]
Tag: Work
Pain
This is what my teaching schedule looks like one week in February. I’m particularly aware of a Monday with 4 hours of lecture in one go followed by a class in the afternoon… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Paperless Office
Right now, we may conclude that the paperless office is as theoretical a concept as religion and human-caused global warming. Despite having 3 monitors, I still have covered my desk with heaps of paper. The worst part? All of these papers have been produced today. MichaelTime person of the year 2006, Nobel Peace Prize winner […]
Sunny Bergen…?
This is the view from Lars’ office in Bergen. This is not the kind of weather I was promised – in fact, I had to walk 2 km in dry weather this morning. I’ve been lied to! And yes, the window I took the picture thru is pretty damn dirty. [gmap zoom=”5″ display_photos=”false”] MichaelTime person […]
Python
I’ve just started learning Python as I need it for a project. So far I find the language pretty easy to use; the major caveat being that I know virtually nothing of what is available. I did manage to do a bit of graph processing, however, and draw this neat tree using pydot and pyparsing: […]
Parallels Desktop
I can highly recommend the newest version of Parallels Desktop for running Windows applications under OS X. I already posted, showing how the new Crystal mode makes the integration near-perfect. Disclaimer: I’m not associated with Parallels (or whatever their company is called), just a happy customer. I thought, I’d follow up on that. Today, I’ve […]