Vergröberungstransformationen auf Prozessnetzen als eine Teilklasse allgemeiner Petri-Netze. - Hartmut Lorenz (1985)