{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:23:50Z","timestamp":1775053430892,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540600299","type":"print"},{"value":"9783540494089","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:30:41Z","timestamp":1330259441000},"page":"1-20","source":"Crossref","is-referenced-by-count":14,"title":["A refined view of the box algebra"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-56503-5_16","volume":"665","author":"E. Best","year":"1993","unstructured":"E.Best, R.Devillers, J.Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. Springer-Verlag, Lecture Notes in Computer Science Vol. 665, 130\u2013140 (1993).","journal-title":"Springer-Verlag, Lecture Notes in Computer Science"},{"key":"1_CR2","unstructured":"E.Best, R.Devillers, J.Hall: The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. Advances in Petri Nets 1992, G.Rozenberg (ed.), Springer-Verlag, Lecture Notes in Computer Science Vol. 609, 21\u201369 (1992)."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"E.Best, H.Fleischhack, W.Fraczak, R.P.Hopkins, H.Klaudel, E.Pelz: An M-net Semantics of B(PN) 2. Proc. of STRICT'95 (1995).","DOI":"10.1007\/978-1-4471-3078-9_6"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-56891-3_30","volume":"694","author":"E. Best","year":"1993","unstructured":"E.Best, R.P.Hopkins: B(PN)2 \u2014 a Basic Petri Net Programmming Notation. Proc. of PARLE'93, Springer-Verlag, Lecture Notes in Computer Science Vol. 694, 379\u2013390 (1993).","journal-title":"Proc. of PARLE'93, Springer-Verlag, Lecture Notes in Computer Science"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"E.Best, M.Koutny: Solving Recursive Net Equations. Proc. of ICALP-95, Springer-Verlag, Lecture Notes in Computer Science (1995).","DOI":"10.1007\/3-540-60084-1_109"},{"key":"1_CR6","volume-title":"Rapport de Recherche","author":"G. Boudol","year":"1991","unstructured":"G.Boudol, I.Castellani: Flow Models of Distributed Computations: Event Structures and Nets. Rapport de Recherche, INRIA, Sophia Antipolis (July 1991)."},{"key":"1_CR7","unstructured":"R.Devillers: The Synchronisation Operator Revisited for the Petri Box Calculus. Technical Report LIT-290, Laboratoire d'Informatique Th\u00e9orique, Universit\u00e9 Libre de Bruxelles (1994)."},{"key":"1_CR8","unstructured":"R.Devillers: S-invariant Analysis of Petri Boxes. Technical Report LIT-273, Laboratoire d'Informatique Th\u00e9orique, Universit\u00e9 Libre de Bruxelles (1993). To appear in Acta Informatica (1995)."},{"key":"1_CR9","unstructured":"W.Fraczak, H.Klaudel: A Multi-action Synchronisation Scheme and its Application to the Petri Box Calculus. Proc. of ESDA (Engineering Systems Design and Analysis Conference), 91\u2013100, London (1994)."},{"key":"1_CR10","first-page":"267","volume":"430","author":"U. Goltz","year":"1989","unstructured":"U.Goltz, R.van Glabbeek: Refinement of Actions in Causality Based Models. Springer-Verlag, Lecture Notes in Computer Science Vol.430, 267\u2013300 (1989).","journal-title":"Springer-Verlag, Lecture Notes in Computer Science"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"M.Koutny, E.Best: Operational Semantics for the Box Algebra. Draft paper (1995).","DOI":"10.1007\/978-3-540-48654-1_19"},{"key":"1_CR12","unstructured":"M.Koutny, J.Esparza, E.Best: Operational Semantics for the Petri Box Calculus. Proc. of CONCUR'94 (ed. B.Jonsson and J.Parrow), Lecture Notes in Computer Science Vol.836, Springer-Verlag, 210\u2013225 (1994)."},{"key":"1_CR13","unstructured":"R.Milner: Communication and Concurrency. Prentice Hall (1989)."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"E.R.Olderog: Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science 23 (1991).","DOI":"10.1017\/CBO9780511526589"},{"key":"1_CR15","unstructured":"G.Plotkin: A Structural Approach to Operational Semantics. DAIMI Technical Report FN-19, Computer Science Department, University of \u00c5rhus (1981)."},{"key":"1_CR16","unstructured":"W.Reisig: Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science Vol. 3, Springer-Verlag (1985)."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:19:23Z","timestamp":1640924363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}