For more details and a description in English, see the website. Biomodeling and Petri Nets http://www.liacs.nl/~csbpn/