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