Hi Serge,

I didn't want to hijack the original thread (more than I've already done), so I made a new one instead.

Looks really impressive Peter !
I put some pictures on my twitter account:
https://twitter.com/SergeStinckwich/status/582799867409526784
Thanks! I'll guess I will have to start using twitter now. :)��

Apparently there is an icon bug when you don't use the Eclipse set of icons.
Yeah, that's my mistake. Thanks for the bugreport.��
��
I'm interested by Petri Nets in order to do Process Mining.
Petri Nets are being developed by my colleague Jan Blizni��enko (��https://github.com/bliznjan?tab=repositories ) so he may have some more info. I've CCed him.
��
What kind of process models are you expected to implement ?
Do you plan to draw activity diagrams ?
Right now I'm working on BORM (Business��and��Object Relation Modeling) http://ccm.fit.cvut.cz/methodologies/borm/ (some of the materials are in Czech, but you can see diagrams in the first link in our current Eclipse-based tool); the following will be DEMO http://ccm.fit.cvut.cz/methodologies/demo/

I can imagine that it wouldn't be that complicated to extend current FSM to have activity diagrams (it's just two extra elements), so if you are interested in that I can look into it.
Also I still have to migrate documentation to github so other people can extend it if they want.

Thanks!
Peter