{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:18Z","timestamp":1725664098573},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:32:29Z","timestamp":1330277549000},"page":"84-102","source":"Crossref","is-referenced-by-count":2,"title":["An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets"],"prefix":"10.1007","author":[{"given":"E.","family":"Battiston","sequence":"first","affiliation":[]},{"given":"O.","family":"Botti","sequence":"additional","affiliation":[]},{"given":"E.","family":"Crivelli","sequence":"additional","affiliation":[]},{"given":"F.","family":"Cindio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"7_CR1","volume-title":"Technical Report PDISI-92-13","author":"D. Bertello","year":"1992","unstructured":"Bertello, D., Crivelli, E., Reggio, G., 1992, Specification of a Hydro-Electric Central, Technical Report PDISI-92-13, Dipartimento di Informatica e Scienze dell'Informazione, Universit\u00e0 di Genova, Italy."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Battiston, E., De Cindio, F., Mauri, G., 1988, OBJSA nets: a class of high level nets having objects as domains, in: \u201cAdvances in Petri Nets 88\u201d, G. Rozenberg (ed.), LNCS 340, pp. 20\u201343, Springer Verlag, 1988. Also in [JR91].","DOI":"10.1007\/3-540-50580-6_22"},{"key":"7_CR3","unstructured":"Battiston, E., De Cindio, F., Mauri, G., Rapanotti, L., 1991, Morphisms and Minimal Models for OBJSA Nets, in: Proc. of the 12th Int. Conference on Application and Theory of Petri nets, Gjern, Denmark, 26\u201328 June 1991."},{"key":"7_CR4","unstructured":"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."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"De Cindio, F., De Michelis, G., Pomello, L., Simone, C., 1982, Superposed Automata Nets, in: \u201cApplication and Theory of Petri Nets\u201d, C.Girault and W.Reisig (eds.), IFB 52, Springer Verlag.","DOI":"10.1007\/978-3-642-68353-4_44"},{"issue":"5","key":"7_CR6","first-page":"528","volume":"10","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A., 1984, Parameterized Programming, IEEE SE 10(5), pp. 528\u2013543.","journal-title":"IEEE SE"},{"key":"7_CR7","unstructured":"Goguen, J.A., Winkler, T., 1988, Introducing OBJ3, Report SRI-CSL-88-9, SRI International, Computer Science Lab."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Jensen, K., Rozenberg, G., (eds), 1991, \u201cHigh-level Petri Nets. Theory and Application\u201d, ISBN: 3-540-54125 X or 0-387-54125 X, Springer Verlag.","DOI":"10.1007\/978-3-642-84524-6"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/174634.174636","volume":"III","author":"A. Morzenti","year":"1994","unstructured":"Morzenti, A., Sampietro, P.L., 1994, Object Oriented Logic Specifications of Time Critical Systems, ACM TOSEM, vol. III, pp. 56\u201398, January 1994.","journal-title":"ACM TOSEM"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Reisig, W., 1991, Petri Nets and Algebraic Specifications, TCS 80, pp. 1\u201334, North-Holland. Also in [JR91].","DOI":"10.1016\/0304-3975(91)90203-E"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Winograd, T., 1979, Beyond Programming Languages, CACM, 22.7, July 1979.","DOI":"10.1145\/359131.359133"},{"key":"7_CR12","unstructured":"Winkler, T., 1992, Introducing OBJ3's New Features, Report SRI International, Computer Science Lab."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:10Z","timestamp":1605648490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}