Statecharting Petri nets by R. Eshuis