Systemanalyse und -designMarek Leszak × Petri-Netz-Methoden und -WerkzeugeHilfsmittel zur Entwurfsspezifikation und -validation von RechensystemenMarek LeszakSpringer BerlinSoftcover1988