{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T06:03:55Z","timestamp":1648706635077},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540578673","type":"print"},{"value":"9783540483618","type":"electronic"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57867-6_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:31:59Z","timestamp":1330263119000},"page":"188-206","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Algebraic high level nets"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Julia","family":"Padberg","sequence":"additional","affiliation":[]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"11_CR1","volume-title":"Mathematical models for the semantics of parallelism, volume 280 of Lecture Notes in Computer Science","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano and G. Reggio. An outline of the SMolCS approach. In M. Venturini Zilli, editor, Mathematical models for the semantics of parallelism, volume 280 of Lecture Notes in Computer Science. Springer Verlag Berlin, 1987."},{"key":"11_CR2","first-page":"20","volume-title":"Advances in Petri nets, volume 340 of Lecture Notes in Computer Science","author":"E. Battiston","year":"1988","unstructured":"E. Battiston, F. De Cindio, and G. Mauri. OBJSA nets: a class of high-level nets having objects as domains. In G. Rozenberg, editor, Advances in Petri nets, volume 340 of Lecture Notes in Computer Science, pages 20\u201343. Springer Verlag Berlin, 1988."},{"key":"11_CR3","unstructured":"J. A. Bergstra and J. W. Klop. Algebra of communicating processes. In CWI Monographs I, 1986. Proc. CWIU Symp. Math. and Comp. Sci."},{"key":"11_CR4","first-page":"4","volume-title":"Proc. TAPSOFT'85, volume 185 of Lecture Notes in Computer Science","author":"M. Broy","year":"1985","unstructured":"M. Broy. Specification and top-down design of distributed systems. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Proc. TAPSOFT'85, volume 185 of Lecture Notes in Computer Science, pages 4\u201328. Springer Verlag Berlin, 1985."},{"key":"11_CR5","unstructured":"M. Broy and T. Streicher. Modular functional modelling of Petri nets with individual tokens. Technical Report INFO-10-90-I35-450\/1.-FMI, Technical University of Munich, 1992."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"C. Dimitrovici and U. Hummert. Composition of algebraic high-level nets. In Proc. of the 7th ADT-Workshop, Wusterhausen\/Dosse, 1990. LNCS 534(1991).","DOI":"10.1007\/3-540-54496-8_4"},{"key":"11_CR7","volume-title":"Advances of Petri Nets, volume 483 of Lecture Notes in Computer Science","author":"C. Dimitrovici","year":"1991","unstructured":"C. Dimitrovici, U. Hummert, and L. Petrucci. Composition and net properties of algebraic high-level nets. In Advances of Petri Nets, volume 483 of Lecture Notes in Computer Science. Springer Verlag Berlin, 1991."},{"key":"11_CR8","volume-title":"Operating systems techniques","author":"E. W. Dijkstra","year":"1971","unstructured":"E.W. Dijkstra. Hierarquical ordering of sequential processes. In Perrot Hoare, editor, Operating systems techniques. Academic Press London New York, 1971."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M, Baldamus, and F. Orejas. New concepts for amalgamation and extension in the framework of specification logics. In Proc. ADT-Workshop Durdan, pages 199\u2013221, Durdan, 1991. LNCS 655.","DOI":"10.1007\/3-540-56379-2_41"},{"key":"11_CR10","volume-title":"Technical Report 92\/5","author":"H. Ehrig","year":"1992","unstructured":"H. Ehrig, M. Gro\u00dfe-Rhode, and A. Heise. Specification techniques for concurrent and distributed systems. Technical Report 92\/5, Technical University of Berlin, Jan. 1992. Invited paper for 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis, 1992."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BFb0017395","volume-title":"4th Int. Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. From Graph Grammars to High Level Replacement Systems. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 269\u2013291. Springer Verlag Berlin, 1991."},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1992","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in High Level Replacement Systems. Math. Struct. in Comp. Sci., 1:361\u2013404, 1992.","journal-title":"Math. Struct. in Comp. Sci."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"H. Ehrig. Introduction to the algebraic theory of graph grammars. In 1st Int. Workshop on Graph Grammars and their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, pages 1\u201369. Springer, 1979.","DOI":"10.1007\/BFb0025714"},{"key":"11_CR14","unstructured":"H. Ehrig, H.-J. Kreowski, and G. Taentzer. Canonical Derivations in High-Level Replacement Systems. Technical Report 6\/92, University of Bremen, 1992."},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0017396","volume":"532","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig and F. Parisi-Presicce. Algebraic specification grammars: adjunction between module specifications and graph grammars. Lecture Notes in Computer Science, 532:292\u2013310, 1991.","journal-title":"Lecture Notes in Computer Science"},{"key":"11_CR16","volume-title":"Technical Report 91\/16","author":"H. Ehrig","year":"1992","unstructured":"H. Ehrig and F. Parisi-Presicce. Nonequivalence of Categories for Equational Algebraic Specifications in View of High-Level Replacement Systems. Technical Report 91\/16, Technical University of Berlin, Dep. of Comp. Sci., 1991. Short version in Proc. 3rd Conf. on Algebraic and Logic Programming, Pisa, 1992."},{"key":"11_CR17","first-page":"23","volume":"332","author":"H. Ehrig","year":"1987","unstructured":"H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dimitrovici, and M. Gro\u00dfe-Rhode. Algebraic data type and process specifications based on projection spaces. Theoretical Computer Science, 332:23\u201343, 1987.","journal-title":"Theoretical Computer Science"},{"key":"11_CR18","volume-title":"Algebraic theory of processes","year":"1988","unstructured":"M. Hennessy, editor. Algebraic theory of processes. The MIT Press, Combridge, Massachussets, 1988."},{"key":"11_CR19","unstructured":"U. Hummert. Algebraische High-Level Netze. PhD thesis, Technical University of Berlin, Dep. of Comp. Sci., 1989."},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen. Coloured petri nets and the invariant method. Theoretical Computer Science, 14:317\u2013336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg, editors. High-level Petri nets: theory and application. Springer, 1992.","DOI":"10.1007\/978-3-642-84524-6"},{"key":"11_CR22","unstructured":"B. Kraemer. Concepts, syntax and semanticas of Segras, a specification language for distributed systems. PhD thesis, Technical University of Berlin, Dep. of Comp. Sci., 1989."},{"key":"11_CR23","unstructured":"LOTOS \u2014 A formal description technique based on temporal ordering of observational behaviour. Information Processing Systems \u2014 Open Systems Interconnection ISO DIS 8807, jul. 1987. (ISO\/TC 97\/SC 21 N)."},{"issue":"2","key":"11_CR24","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88(2):105\u2013155, oct. 1990.","journal-title":"Information and Computation"},{"key":"11_CR25","unstructured":"J. Padberg. Theory of High-Level Replacement Systems with Application to Petri Nets. Diplomarbeit, Technical University of Berlin, 1992."},{"key":"11_CR26","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net-transformation systems. Technical Report 93-12, Technical University of Berlin, 1993."},{"key":"11_CR27","volume-title":"PhD thesis","author":"C. A. Petri","year":"1962","unstructured":"C.A. Petri. Kommunikation mit Automaten. PhD thesis, Schriften des Institutes f\u00fcr Instrumentelle Mathematik, Bonn, 1962."},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri nets. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"11_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80:1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"11_CR30","first-page":"60","volume-title":"Advances in Petri nets 1986, volume 254 of Lecture Notes in Computer Science","author":"G. Rozenberg","year":"1987","unstructured":"G. Rozenberg. Behaviour of elementary net systems. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri nets 1986, volume 254 of Lecture Notes in Computer Science, pages 60\u201394. Springer Verlag Berlin, 1987."},{"key":"11_CR31","unstructured":"L. Ribeiro and J. Padberg. Compatibility results for the formal development of concurrent systems using algebraic high-level nets. Submitted to SE\/AI-Conf, Marroco, 1993."},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"P. Starke. Analyse von Petri-Netz-Modellen. Teubner Verlag, 1990.","DOI":"10.1007\/978-3-663-09262-9"},{"key":"11_CR33","unstructured":"A. Tarlecki, R.M. Burstall, and J.A. Goguen. Some fundamental algebraic tools for the semantics of computation. Part III: Indexed categories. Technical report, University of Edinburgh, 1987."},{"key":"11_CR34","unstructured":"J. Vautherin. Parallel specification with coloured Petri nets and algebraic data types. In Proc. of the 7th European Workshop on Application and Theory of Petri nets, pages 5\u201323, Oxford, England, jul. 1986."}],"container-title":["Recent Trends in Data Type Specification","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57867-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:47:55Z","timestamp":1640929675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57867-6_11"}},"subtitle":["Petri nets revisited"],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578673","9783540483618"],"references-count":34,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-57867-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1994]]},"assertion":[{"value":"27 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}