Schmidt, H.-W.H.-W.Schmidt2022-03-062022-03-061989https://publica.fraunhofer.de/handle/publica/271730en004005006Specification and correct implementation of non-sequential systems combining abstract data types and Petri netsdoctoral thesis