Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets - Padberg, J. (Forschungsberichte des Fachbereichs Informatik, 1998)