OBJSA Nets: a Class of High- level Nets Having Objects as Domains. - Eugenio Battiston; Fiorella de Cindio; Giancarlo Mauri (European Workshop on Applications and Theory of Petri Nets, 1987)

Semantics Frameworks for a Class of Modular Algebraic Nets. - Eugenio Battiston; V. Crespi; Fiorella de Cindio; Giancarlo Mauri (AMAST, 1993)

An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets. - Eugenio Battiston; Oliver Botti; E. Crivelli; Fiorella de Cindio (Application and Theory of Petri Nets, 1995)

Modular Algebraic Nets to Specify Concurrent Systems. - Eugenio Battiston; Fiorella de Cindio; Giancarlo Mauri (IEEE Trans. Software Eng., 1996)

CLOWN as a Testbed for Concurrent Object-Oriented Concepts. - Eugenio Battiston; A. Chizzoni; Fiorella de Cindio (Concurrent Object-Oriented Programming and Petri Nets, 2001)