D. Gomm, E. Kindler, B. Paech, und R. Walter. Application and Theory of Petri Nets, Volume 691 von Lecture Notes in Computer Science, Seite 262-281. Springer, (1993)
S. Mennicke, J. Schicke-Uffmann, und U. Goltz. Formal Techniques for Distributed Objects, Components, and Systems, Volume 8461 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
S. Mennicke, M. Lochau, J. Schroeter, und T. Winkelmann. Proceedings of the 18th International Software Product Line Conference - Volume 1, Seite 62--71. New York, NY, USA, ACM, (2014)