Nutzung von Petri-Netzen bei Entwurf und Verifikation eines SKR-softwarekompatiblen 16-Bit-Mikrorechnersystems. - Tobias Müller 004 (1990)