I'm interested by Petri Nets in order to do Process Mining. What kind of process models are you expected to implement ? Do you plan to draw activity diagrams ?