An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets

• Authors:

• Eugenio Battiston;Oliver Botti;E. Crivelli;Fiorella de Cindio

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the 16th International Conference on Application and Theory of Petri Nets
• Year:
• 1995