Design and formal Analysis of Petri Net based Logic Control Algorithms - Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen (Berichte Aus Der Automatisierungstechnik)

von Georg Frey

Shaker Verlag · 2002

Taschenbuch

ISBN: 978-3-8322-0043-5

ISBN-10: 3-8322-0043-6