1. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
2. Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in coloured Petri nets. In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, Bonn, Germany, pp. 192–209 (1989)
3. Lecture Notes in Computer Science;W. Brauer,1991
4. Fehling, R.: A concept of hierarchical Petri nets with building blocks. In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark, pp. 370–389 (1991)
5. He, X., Lee, J.A.N.: A methodology for constructing predicate transition net specifications. Software–Practice and Experience 21, 845–875 (1991)