Case description and resources for a Petri nets to state charts transformation