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)