{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T15:29:13Z","timestamp":1648654153743},"reference-count":15,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3711,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s1571-0661(04)80743-6","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"1-15","source":"Crossref","is-referenced-by-count":2,"title":["Behavior and Instantiation of High\u2013Level Net Processes"],"prefix":"10.1016","volume":"82","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"3,4","key":"10.1016\/S1571-0661(04)80743-6_NEWBIB1","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph Processes","volume":"26","author":"Corradini","year":"1996","journal-title":"Special Issue of Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB2","doi-asserted-by":"crossref","unstructured":"P. Degano, J. Meseguer, and U. Montanari. Axiomatizing Net Computations and Processes. In Proc. of LICS'89, pages 175\u2013185, 1989.","DOI":"10.1109\/LICS.1989.39172"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB3","doi-asserted-by":"crossref","unstructured":"H. Ehrig. Behaviour and Instantiation of High-Level Net Processes. Full Technical Version. Technical Report 2003-01, Technical University of Berlin, 2003. To appear.","DOI":"10.1016\/S1571-0661(04)80743-6"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB4","unstructured":"H. Ehrig, M. Gro\u00dfe-Rhode, and A. Heise. Specification techniques for concurrent and distributed systems. Technical Report 925\/5, Technical University of Berlin, jan. 1992. Invited paper for 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis, 1992."},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB5","series-title":"Formal and Natural Computing","first-page":"191","article-title":"High-level net processes","author":"Ehrig","year":"2002"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB6","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","article-title":"Branching Processes of Petri Nets","volume":"28","author":"Engelfriet","year":"1991","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB7","first-page":"125","article-title":"The Non-Sequential Behaviour of Petri Nets","volume":"volume 57","author":"Goltz","year":"1983","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB8","series-title":"Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts","article-title":"Coloured Petri Nets","author":"Jensen","year":"1992"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB9","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1017\/S0960129597002314","article-title":"On the Semantics of Place\/Transition Petri Nets","volume":"7","author":"Meseguer","year":"1997","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB10","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","article-title":"Petri Nets, Event Structures and Domains, Part 1","volume":"13","author":"Nielsen","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB11","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129500000724","article-title":"Algebraic high-level net transformation systems","volume":"5","author":"Padberg","year":"1995","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB12","series-title":"Advances in Petri Nets 1986","first-page":"60","article-title":"Behaviour of Elementary Net Systems","author":"Rozenberg","year":"1987"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB13","unstructured":"R. v. Glabbeck and G. Plotkin. Configuration Structures. In Proc. 10th LICS Symposium. IEEE, 1995."},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","article-title":"Petri nets, algebras, morphisms, and compositionality","volume":"72","author":"Winskel","year":"1987","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80743-6_NEWBIB15","series-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","first-page":"324","article-title":"Event Structures","author":"Winskel","year":"1988"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807436?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807436?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:13:54Z","timestamp":1585898034000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104807436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":15,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1571066104807436"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80743-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}