A Note on Process Modelling: Combining Situation Calculus and Petri Nets