{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T19:22:32Z","timestamp":1776885752661,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540505808","type":"print"},{"value":"9783540460596","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:28:14Z","timestamp":1330201694000},"page":"20-43","source":"Crossref","is-referenced-by-count":52,"title":["OBJSA Nets: a class of high-level nets having objects as domains"],"prefix":"10.1007","author":[{"given":"E.","family":"Battiston","sequence":"first","affiliation":[]},{"given":"F.","family":"Cindio","sequence":"additional","affiliation":[]},{"given":"G.","family":"Mauri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"AMRW E. Astesiano, G.F. Mascari, G. Reggio, M. Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85, LNCS 185, Springer Verlag, 1985","DOI":"10.1007\/3-540-15198-2_22"},{"key":"2_CR2","unstructured":"Bat E. Battiston, Definizione di una classe di reti di alto livello aventi per domini tipi di dati astratti, Thesis, Dept. Information Sciences, University of Milano, A.A. 85\/86 (in italian)"},{"key":"2_CR3","unstructured":"Ber B. Berthomieu et al., Abstract data nets: combining Petri nets and abstract data types for high level specifications of distributed systems, Proc. 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, 1986"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bert G. Berthelot, Transformations and decompositions of nets, Proc. Advanced Course on Petri nets, Bad Honnef, September 1986","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"BCG R. Balzer, T. Cheatham, C. Green, Software Technology in the 1990's Using a new Paradigm, in Computer, 11.85, pp. 39\u201345","DOI":"10.1109\/MC.1983.1654237"},{"key":"2_CR6","unstructured":"BDM1 E. Battiston, F. De Cindio, G. Mauri, OBJSA Net Systems, Int. Rep., Dip. Scienze dell'Informazione, Milano, 1987"},{"key":"2_CR7","unstructured":"BDM2 E. Battiston, F. De Cindio, G. Mauri, OBJSA nets: OBJ2 and Petri Nets for specifying concurrent systems, accepted for pubblication in \"Experiences with OBJ\" (R. Gallimore ed.), to appear"},{"key":"2_CR8","unstructured":"BFP E. Best, C. Fernandez, H. Pl\u00fcnnecke, Concurrent systems and processes, GMD-Studien Nr.104, 1985"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"BV C. Beierle, A. Voss, On implementation of loose abstract data type specifications and their vertical composition, Proc. STACS '87, LNCS 247, Springer Verlag, 1987","DOI":"10.1007\/BFb0039610"},{"key":"2_CR10","unstructured":"CCITT CCITT, Recommendation Z 100, 1988 (preliminary version)"},{"key":"2_CR11","unstructured":"CDM C. Cavenaghi, M. De Zanet, G.Mauri, MC-Obj: a C interpreter for OBJ, accepted for pubblication in \"Experiences with OBJ\" (R. Gallimore ed.), to appear"},{"key":"2_CR12","unstructured":"CHJ B. Cohen, W.T. Harwood, M.I. Jackson, The specification of complex systems, Addison Wesley, 1986"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"DDPS F.De Cindio, G. De Michelis, L. Pomello, C. Simone, Superposed Automata Nets, in \"Application and Theory of Petri Nets\" (C. Girault and W. Reisig eds.), IFB 52, Springer Verlag, 1982","DOI":"10.1007\/978-3-642-68353-4_44"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"DDS F.De Cindio, G. De Michelis, C. Simone, Gameru: a language for the analysis and design of human communication pragmatics, in \"Advances in Petri Nets 87\", (G. Rozemberg ed.), LNCS 266, Springer Verlag, 1987","DOI":"10.1007\/3-540-18086-9_18"},{"key":"2_CR15","unstructured":"DLT F. De Cindio, G.A.Lanzarone, A. Torgano, A Petri Net Model of SDL, Proc. 5th European Workshop on Petri nets, Aarhus (Dk), 1984"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"EM H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, Springer Verlag, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"FGJM K.Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer, Principles of OBJ2, Proc. ACM Symp. on Principles of Programming Languages, 1985","DOI":"10.1145\/318593.318610"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Gen H. Genrich, Predicate\/Transition nets, in \"Petri Nets: Central Models and Their Properties\", (W. Brauer, W. Resig, G. Rozemberg eds.), LNCS 254, Springer Verlag, 1987","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"2_CR19","first-page":"576","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"GGM V. Giarratana, F. Gimona, U. Montanari, Observability Concepts in Abstract Data Type Specifications, Proc. 5th Symp. Math. Found. of Comp. Science 1976, LNCS 45, Springer Varlag 1976, 576\u2013587","journal-title":"LNCS"},{"key":"2_CR20","first-page":"339","volume":"213","author":"A. Geser","year":"1986","unstructured":"GH A. Geser, H. Hussmann, Experiences with the RAP system \u2014 a specification interpreter combining term rewriting and resolution, Proc. ESOP 86, LNCS 213, 1986, 339\u2013350","journal-title":"LNCS"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"GL1 H. Genrich, K. Lautenbach, System Modelling with High-level Petri nets, TCS 13, North-Holland 1981","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"GL2 H. Genrich, K. Lautenbach, S-invariance in Predicate-Transition Nets, in \"Application and Theory of Petri Nets\" (A. Pagnoni and G. Rozenberg eds.), IFB 66, Springer Verlag, 1983","DOI":"10.1007\/978-3-642-69028-0_8"},{"issue":"5","key":"2_CR23","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"SE-10","author":"J.A. Goguen","year":"1984","unstructured":"Gog J.A. Goguen, Parameterized programming, IEEE Trans. on Soft. Eng., SE-10(5), 528\u2013543, 1984","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"2_CR24","unstructured":"GTW J.A. Goguen, J.W. Thatcher, E.G. Wagner, An initial algebra approach to the specification, correctness and implementation of abstract data types, in \"Current trends in programming methodology IV: Data structuring, (R. Yeh, Ed.), Prentice Hall, 1978, 80\u2013144"},{"key":"2_CR25","unstructured":"Hac M. Hack, Extended State-Machine Allocatable Nets, an extension of Free Choice Petri Nets results, MIT Project MAC, MAC-TR 78-1, Cambridge (Ma, Usa), 1974"},{"key":"2_CR26","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoa C.A.R. Hoare, Communicating sequential processes, CACM 21, 666\u2013677, 1978","journal-title":"CACM"},{"key":"2_CR27","unstructured":"ISO ISO, Information Processing Systems \u2014 Open Systems Interconnection \u2014 The definition of the specification language LOTOS. Draft proposal ISO\/TC 97\/SC 16\/WG1N157, August 1983"},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jen K. Jensen, Coloured Petri nets and the invariant method, TCS 14, 1981, 317\u2013336","journal-title":"TCS"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Kra B. Kraemer, Stepwise construction of non-sequential software systems using a net-based specification language, in \"Advances in Petri nets 1984\" (G. Rozenberg ed.), LNCS 188, Springer Verlag, 1985","DOI":"10.1007\/3-540-15204-0_18"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Les P. Lescanne, Computer experiments with the REVE term rewriting system generator, Proc. 10th ACM Symp. on Principles of Programming Languages, 1983, 99\u2013108","DOI":"10.1145\/567067.567078"},{"key":"2_CR31","unstructured":"LP K. Lautenbach, A. Pagnoni, Invariance and Duality in Predicate\/Transition Nets and Coloured Nets, GMD Report n.132, 1985"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P.E. Lauer","year":"1979","unstructured":"LTS P.E. Lauer, P.R. Torrigiani, M.W. Shields, COSY \u2014 A System Specification Language Based on Paths and Processes, Acta Informatica, 12, 1979, 109\u2013158","journal-title":"Acta Informatica"},{"key":"2_CR33","unstructured":"LZ B. Liskov, S. Zilles, An introduction to Formal Specifications of Data Abstractions, in \u2018Current Trends in Programming Methodology\u2019 (R. Yeh ed.), Prentice-Hall, 1978"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Mil R. Milner, A calculus for communicating systems, LNCS 92, Springer Verlag, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"2_CR35","unstructured":"Obe H. Oberquelle, Some concepts for studiyng flow and modification of actors and objects in high level nets, Proc. 3rd European Workshop on Petri nets, Varenna (Italy), 1982"},{"key":"2_CR36","unstructured":"PFI Languages and Tools for Concurrent and Distributed System, proposal submitted to Italian National Research Council, Progetto Finallizzato Informatica, area 4.2.1, nov. 1987"},{"key":"2_CR37","first-page":"381","volume":"222","author":"L. Pomello","year":"1986","unstructured":"Pom L. Pomello, Some equivalence notions for concurrent systems. An overview, in \"Advances in Petri Nets 1985\" (G. Rozenberg ed.), LNCS 222, 1986, 381\u2013400","journal-title":"LNCS"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Rei1 W. Reisig, Petri Nets with Individual Tokens, TCS 41, North Holland, 1985","DOI":"10.1016\/0304-3975(85)90070-2"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Rei2 W. Reisig, Petri Nets in Software Engineering, in \u2018Petri Nets: Applications and Relationships to Other Models of Concurrency\", (W. Brauer, W. Resig, G. Rozemberg eds.), LNCS 254, Springer Verlag, 1987","DOI":"10.1007\/3-540-17906-2_22"},{"key":"2_CR40","unstructured":"Reic H. Reichel, Behavioural Equivalence \u2014 A unifying concept for initial and final specification methods, Proc. 3rd Hungarian Comp. Sci. Conf., Budapest, 1981, 27\u201339"},{"key":"2_CR41","first-page":"96","volume":"249","author":"D. Sannella","year":"1987","unstructured":"ST D. Sannella, A. Tarlecki, Toward formal development of programs from algebraic specifications: implementations revisited (extended abstract), Proc. TAPSOFT '87, LNCS 249, Springer Verlag, 1987, 96\u2013110","journal-title":"LNCS"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Vau J. Vautherin, Parallel systems specifications with colored Petri nets and algebraic abstract data types, in \"Advances in Petri Nets 87\", (G. Rozemberg ed.), LNCS 266, Springer Verlag, 1987","DOI":"10.1007\/3-540-18086-9_31"},{"key":"2_CR43","first-page":"28","volume-title":"Algebraic specification of data types","author":"S.N. Zilles","year":"1974","unstructured":"Zil S.N. Zilles, Algebraic specification of data types, Project MAC Progress Report 11, MIT, Cambridge, Mass., 1974, 28\u201352"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:28Z","timestamp":1605647908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}