An incremental specification of a hydroelectric power plant control system using a class of modular algebraic nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 935, Issue , 1995, Pages 84-102

  Battiston, E ^a   Botti, O ^b   Crivelli, E ^b   Decindio, F ^a  

^a UNIVERSITY OF MILAN   (Italy)

^b ENEL   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONTROL SYSTEMS; ELECTRIC POWER SYSTEM CONTROL; ELECTRIC UTILITIES; HYDROELECTRIC POWER; PETRI NETS; POWER CONTROL; REUSABILITY; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ALGEBRAIC HIGH-LEVEL NETS; ALGEBRAIC NETS; ALGEBRAIC SPECIFICATION LANGUAGES; INCREMENTAL DEVELOPMENT; POWER PLANT CONTROL; SYSTEM MODELING; TECHNICAL DETAILS;

HYDROELECTRIC POWER PLANTS;

EID: 21844527546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60029-9_35     Document Type: Conference Paper

References (12)

1. [BCR92] Bertello, D., Crivelli, E., Reggio, G., 1992, Specification of a Hydro-Electric Central, Technical Report PDISI-92-13, Dipartimento di Informatica e Scieňze dell'Informazione, Università di Genova, Italy.
2. [BDM88] 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. [BDMR91] Battiston, E., De Cindio, F., Mauri, G., Rapanotti, L., 1991, Morphisms and Minimal Models for OBJSA Nets, in: Proc. of the 12*k Int. Conference on Application and Theory of Petri nets, Gjern, Denmark, 26-28 June 1991.
4. [BDM95] 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. [DDPS82] 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.
6. [Gog84] Goguen, J. A., 1984, Parameterized Programming, IEEE SE 10(5), pp. 528-543.
7. [GW88] Goguen, J. A., Winkler, T., 1988, Introducing OBJ3, Report SRI-CSL-88-9, SRI International, Computer Science Lab.
8. [JR91] Jensen, K., Rozenberg, G., (eds), 1991, "High-level Petri Nets. Theory and Application," ISBN: 3-540-54125 X or 0-387-54125 X, Springer Verlag.
9. [MS94] Morzenti, A., Sampietro, P. L., 1994, Object Oriented Logic Specifications of Time Critical Systems, ACM TOSEM, vol. Ill, pp. 56-98, January 1994.
10. [Rei91] Reisig, W., 1991, Petri Nets and Algebraic Specifications, TCS 80, pp. 1-34, North-Holland.
11. [Win79] Winograd, T., 1979, Beyond Programming Languages, CACM, 22. 7, July 1979.
12. [Win92] Winkler, T., 1992, Introducing OBJ3's New Features, Report SRI International, Computer Science Lab.