atl:i from state diagram to petri net