{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:54Z","timestamp":1725663294779},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:28:10Z","timestamp":1330201690000},"page":"44-61","source":"Crossref","is-referenced-by-count":6,"title":["On internal and external characterisations of PT-net building block behaviour"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Baumgarten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"C. Andr\u00e9: Use of the Behaviour Equivalence in Place-Transition Net Analysis, in: Application and Theory of Petri Nets, IFB 52, Springer, 1982","DOI":"10.1007\/978-3-642-68353-4_41"},{"key":"3_CR2","unstructured":"B. Baumgarten: \u00dcber interne und externe Charakterisierungen des Verhaltens von PT-Netz-Bausteinen, Arbeitspapiere der GMD, Nr. 185, 1985"},{"key":"3_CR3","unstructured":"B. Baumgarten, P. Ochsenschl\u00e4ger, R. Prinoth: Building Blocks for Distributed Systems Design, in: Protocol Specification, Testing and Verification V, North-Holland, 1986"},{"key":"3_CR4","unstructured":"B. Baumgarten, H. J. Burkhardt, P. Ochsenschl\u00e4ger, R. Prinoth: The Signing of a Contract \u2014 a Tree-Structured Application Modelled with Petri Net Building Blocks, in: Advances in Petri Nets 1985, LNCS 222, Springer, 1986, (long version in: Arbeitspapiere der GMD, Nr.161, 1985)"},{"key":"3_CR5","unstructured":"B. Baumgarten, P. Ochsenschl\u00e4ger, R. Prinoth: A Formal Model of the CCR Algorithm, Arbeitspapiere der GMD, Nr.186, 1985"},{"key":"3_CR6","unstructured":"E. Best, C. Fernandez: Notations and Terminology on Petri Net Theory, GI-SIG Petri Nets and Related System Models Newsletter 20, 1985"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"W. Brauer (ed.): Net Theory and Applications, LNCS 84, Springer, 1980","DOI":"10.1007\/3-540-100016"},{"issue":"3","key":"3_CR8","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S0019-9958(84)80048-0","volume":"61","author":"M. Broy","year":"1984","unstructured":"M. Broy: Semantics of Communicating Processes, Info. and Control 61\/3, pp 202\u2013246, June 1984","journal-title":"Info. and Control"},{"key":"3_CR9","unstructured":"H. J. Burkhardt, H. Eckert, R. Prinoth: Modelling of OSI-Communication Services and Protocols using Predicate\/Transition Nets, in: Protocol Specification, Testing and Verification IV, North-Holland, 1985"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"H. Carstensen, R. Valk: Infinite Behaviour and Fairness in Petri Nets, in: Advances in Petri Nets 1984, Springer LNCS 188, 1985","DOI":"10.1007\/3-540-15204-0_6"},{"key":"3_CR11","unstructured":"H. Eckert, R. Prinoth: Produktnetze \u2014 Definition eines PROSIT-Beschreibungsmittels, Arbeitspapiere der GMD, Nr. 92, 1984"},{"key":"3_CR12","unstructured":"H. Eckert, R. Prinoth: Grunds\u00e4tzliche Betrachtungen und Bemerkungen zu den Produktnetzen, GMD-Studien, Nr. 106, 1985"},{"key":"3_CR13","unstructured":"E. Faul-Luers, R.Prinoth: Ableitung von Implementationsvorgaben aus modularisierten Produktnetzen, Arbeitspapiere der GMD, Nr. 123, 1984"},{"key":"3_CR14","unstructured":"M. Hack: Petri Net Languages, TR 159, MIT Laboratory for Computer Science, 1976"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"M. Hennessy: Acceptance Trees, JACM 32\/4, 1985","DOI":"10.1145\/4221.4249"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"L. Pomello: Some Equivalence Notions for Concurrent Systems. An Overview, in: Advances in Petri Nets 1985, LNCS 222, Springer, 1986","DOI":"10.1007\/BFb0016222"},{"key":"3_CR17","unstructured":"R. Prinoth: An Algorithm to Construct Distributed Systems from State-Machines, in: Protocol Specification, Testing, and Verification II, North-Holland, 1982"},{"key":"3_CR18","unstructured":"R. Prinoth: private communication, 1985"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"K. Voss: On the Notion of Interface in Condition\/Event Systems, in: Applications and Theory of Petri Nets, IFB 66, Springer, 1983","DOI":"10.1007\/978-3-642-69028-0_19"}],"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_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:56:41Z","timestamp":1619571401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}