Statecharting Petri nets door R. Eshuis