Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets. Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 176