Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio. An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets. In Giorgio De Michelis, Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Volume 935 of Lecture Notes in Computer Science, pages 84-102, Springer, 1995.
Abstract is missing.