1. Peterson J.L.: Petri nets. ACM Comput. Surv. 9, 223–252 (1977)
2. Bibliowicz, A.: A graph grammar-based formal validation of an object-process diagram, M.Sc. Thesis, Technion, Israel. Available at http://www.vainolo.com/files/research/A-Graph-Grammar-Based-Formal-Validation-of-an-Object-Process-Diagram.pdf (2008)
3. Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a formalization of the unified modeling language. In: ECOOP—11th European Conference in Object-Oriented Programming. LNCS, vol. 1241, pp. 344–366. Springer, Berlin (1997)
4. Bruel, J., France, R.B.: Transforming UML models to formal specifications. Available at http://www.cs.york.ac.uk/puml/papers/brueluml98.pdf (1998)
5. Corradini A., Ehrig H., Heckel R., Löwe M., Montanari U., Rossi F.: Algebraic approaches to graph transformation, part I: basic concepts and double pushout approach. In: Rozenberg, G. (eds) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)