1. Bertello, D., Crivelli, E., Reggio, G., 1992, Specification of a Hydro-Electric Central, Technical Report PDISI-92-13, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Italy.
2. Battiston, E., De Cindio, F., Mauri, G., 1988, OBJSA nets: a class of high level nets having objects as domains, in: “Advances in Petri Nets 88”, G. Rozenberg (ed.), LNCS 340, pp. 20–43, Springer Verlag, 1988. Also in [JR91].
3. Battiston, E., De Cindio, F., Mauri, G., Rapanotti, L., 1991, Morphisms and Minimal Models for OBJSA Nets, in: Proc. of the 12th Int. Conference on Application and Theory of Petri nets, Gjern, Denmark, 26–28 June 1991.
4. Battiston, E., De Cindio, F., Mauri, G., 1995, A Class of Modular Algebraic Nets and its Support Environment, in: International Course on Petri Nets Notes, G. Rozenberg, C. Fernandez, M. Solar and V. Parada (eds.), Editorial Universidad de Santiago, to appear.
5. De Cindio, F., De Michelis, G., Pomello, L., Simone, C., 1982, Superposed Automata Nets, in: “Application and Theory of Petri Nets”, C.Girault and W.Reisig (eds.), IFB 52, Springer Verlag.