1. Frey, G.: Design and formal Analysis of Petri Net based Logic Control Algorithms — Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen. (ISBN 3-8322-0043-6), Dissertation, University of Kaiserslautern, Shaker Verlag, Aachen, April 2002.
2. Frey, G.: SIPN, Hierarchical SIPN, and Extensions. In: Reports of the Institute of Automatic Control I19/2001, University of Kaiserslautern, Dec. 2001. Available at http://www.eit.uni-kl.de/litz/ENGLISH/members/frey/papers.htm
3. Minas, M.: Diagram editing with hypergraph parser support. In: Proceedings of 1997 Symposium on Visual Languages (VL’97), pages 230–237, 1997.
4. Lect Notes Comput Sci;M. Minas,2000
5. Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. In: Science of Computer Programming, 44(2):157–180, 2002.