{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:59:49Z","timestamp":1725987589479},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48738-7_28","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:04:34Z","timestamp":1194984274000},"page":"381-395","source":"Crossref","is-referenced-by-count":4,"title":["Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems"],"prefix":"10.1007","author":[{"given":"Nasreddine","family":"Aoumeur","sequence":"first","affiliation":[]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"28_CR1","unstructured":"N. Aoumeur. R\u00e9alisation d\u2019un Systeme de Gestion du Personnel de l\u2019Universit\u00e9. Memoire d\u2019Ingenieur, Institut d\u2019Informatique, Universit\u00e9 D\u2019Oran, 1989."},{"key":"28_CR2","unstructured":"N. Aoumeur. Towards an Object Petri Net Based Framework for Modelling and Validating Distributed Systems. To appear as Preprint, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Magdeburg, 1999."},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"E. Battiston and F. de Cindio. Class Orientation and Inheritance in Modular Algebraic Nets. In Proc. of IEEE International Conference on Systems and Cybernetics, pages 717\u2013723, Le Touquet, France, 1993.","DOI":"10.1109\/ICSMC.1993.384960"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Biberstein, O. and Buchs, D. and Guelfi, N. CO-OPN\/2: A Concurrent Object-Oriented Formalism. In Proc. of Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems(FMOODS), pages 57\u201372. Chapman and Hall, March 1997.","DOI":"10.1007\/978-0-387-35261-9_5"},{"issue":"1","key":"28_CR5","first-page":"7","volume":"3","author":"M. Bettaz","year":"1993","unstructured":"M. Bettaz, M. Maouche, Soualmi, and S. Boukebeche. Protocol Specification using ECATNets. Res\u00e9aux et Informatique R\u00e9partie, 3(1):7\u201335, 1993.","journal-title":"Res\u00e9aux et Informatique R\u00e9partie"},{"issue":"6","key":"28_CR6","first-page":"243","volume":"935","author":"J. Dershowitz","year":"1990","unstructured":"J. Dershowitz and J.-P. Jouannaud. Rewrite Systems. Handbook of Theoretical Computer Science, 935(6):243\u2013320, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"28_CR7","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-1-4615-5643-5_6","volume-title":"Logics for Databases and Information Systems","author":"H.-D. Ehrich","year":"1998","unstructured":"H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 6, pages 167\u2013198. Kluwer Academic Publishers, Boston, 1998."},{"key":"28_CR8","series-title":"Lect Notes Comput Sci","first-page":"40","volume-title":"Proc. of 8th Workshop on Abstract Data","author":"H.D. Ehrich","year":"1992","unstructured":"H.D. Ehrich, M Gogolla, and A. Sernadas. Objects and Their Specification. In M. Bidoit and C. Choppy, editors, Proc. of 8th Workshop on Abstract Data, volume 655 of Lecture Notes in Computer Science, pages 40\u201366. Springer-Verlag, 1992."},{"key":"28_CR9","unstructured":"H. Ehrig and B. Mahr. Foundamentals of algebraic specifications 1: Equation and initial semantics. EATCS Monographs on Theoretical Computer Science, 21, 1985."},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"B. Freitag, Cliff B. Jones, C. Lengauer, and H. Schek, editors. Object Orientation with Parallelism and Persistence. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-1-4613-1437-0"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In Proc. of 10th Workshop on Abstract Data types, 1993.","DOI":"10.1007\/3-540-57867-6_1"},{"key":"28_CR12","unstructured":"J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992."},{"issue":"3","key":"28_CR13","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201\u2013260, 1987.","journal-title":"ACM Computing Surveys"},{"key":"28_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"Proc. of 16th Application and Theory of Petri Nets","author":"C. Lakos","year":"1995","unstructured":"Lakos, C. From Coloured Petri Nets to Object Petri nets. In Proc. of 16th Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 278\u2013287. Springer-Verlag, 1995."},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"U. Lechner. Object Oriented Specification of Distributed Systems in the \u03bc-Calculus and Maude. In J. Meseguer, editor, Proc. of the First Inter. Workshop on Rewriting Logic, volume 4. Electronic Notes in Theoretical Computer Science, 1996.","DOI":"10.1016\/S1571-0661(04)00048-9"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model for concurrency. volume 96 of Theoretical Computer Science, pages 73\u2013155, Noordwijkerhout, Netherlands, 1992.","journal-title":"Theoretical Computer Science"},{"key":"28_CR17","unstructured":"Meseguer, J. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. Research Directions in Object-Based Concurrency, pages 314\u2013390, 1993."},{"key":"28_CR18","unstructured":"R. Milner, editor. Communication and Concurrency. Prentice Hall, 1989."},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"28_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig. Petri Nets and Abstract Data Types. Theoretical Computer Science, 80:1\u201330, 1991.","journal-title":"Theoretical Computer Science"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48738-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:29:11Z","timestamp":1556954951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48738-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783319981765","9783319981772"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48738-7_28","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1999]]}}}