Unifying Petri Nets by H. Ehrig & J. Padberg