Hello and sorry for the late reply (I was ill).
I am not familiar with petri-net style you mentioned and even though I’ve quickly looked up a few references I unfortunately didn’t quite understand the differences and the functionality offered. Can you please clarify what you mean, or what you are after?
Thank you in advance.
Gavalakis
