1. Albert, K.; Jensen, K.; Shapiro, R.: DESIGN/CPN - A Tool Package Supporting the Use of Coloured Petri Nets. Meta Software Corporation. Camridge, MA (1989)
2. Brauer, W.; Reisig, W.; Rozenberg, G. (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Part I. Lecture Notes in Computer Science 254. Springer 1987
3. Genich, H.J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. Theoretical Computer Science 13 (1981) 109–136
4. Genrich, H.J.: Projections of CE Systems. In: Advances in Petri Nets 1985, Lecture Notes in Computer Science 222. Springer 1986
5. Genrich, H.J. Predicate/Transition Nets. In [2]