Eine Anwendung von Petri-Netzen für eine partielle Prozessbeschreibung und deren Abbildung auf Echtzeitelemente von Pearl die Automatisierung eines technischen Prozesses zur Bierherstellung mit einer Prozessdatenverarbeitungsanlage - Eggert, Horst (1978)