Diss_Georg

Frey, G.: Design and formal Analysis of Petri Net based Logic Control Algorithms - Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen. Dissertation, University of Kaiserslautern, ISBN 3-8322-0043-6, Shaker Verlag, Aachen, Apr. 2002.