It seems that the end ((Of the vacation, of course, silly…)) is past us, and another semester has started… At least, I can see that the BIS course has started again: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Tag: CPN Tools
Friday
It’s Friday. So very, very Friday. I’m a bit hung-over, tired, and Park Hilaria is noisy just outside my office… I therefore made this neat easter egg for CPN Tools 3.2.2 (not yet publicly available). http://www.youtube.com/watch?v=iZVEr5W4FoM Yes, I’m horribly bored. I would link to Rebecca Black’s Friday as well, but that has unfortunately been removed […]
ProM Package Documentation: Cosimulation
This is documentation for my Cosimulation plug-in. Related posts: Simple demo of early version of the plug-in More advanced demo of this plug-in Suggestion for improvement of ProM Orchestration plug-in Presentation explaining background for plug-in Paper describing this plug-in: [bibtex file=tools.bib key=accesscpn2] Presentation of above paper Cosimulation MichaelTime person of the year 2006, Nobel Peace Prize […]
ProM Package Documentation: KeyValue
This documentation is much more boring than my documentation for CPNet. It’s probably still marginally useful, though. Here’s how to use unstructured log data in ProM 6.1. This is basically a simplified version of XESame and Nitro, but more aimed at programmers than at end-users. This package contains a couple simple demonstration plug-ins that may […]
ProM Package Documentation: CPNet
I should be a technical writer! Perhaps I should not write documentation when tired… Read this! The power of Greyskull commands you! CPNet (You can clearly see that I get bored around the middle of page 2…) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Modeling and Verification of a Protocol for Operational Support
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Modeling and Verification of a Protocol for Operational Support