Unifying Petri Nets door H. Ehrig & J. Padberg