{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T10:49:02Z","timestamp":1791024542485,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540638766","type":"print"},{"value":"9783540696599","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0058038","type":"book-chapter","created":{"date-parts":[[2006,8,3]],"date-time":"2006-08-03T06:48:04Z","timestamp":1154587684000},"page":"297-311","source":"Crossref","is-referenced-by-count":8,"title":["General refinement for high level petri nets"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Devillers","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert -C.","family":"Riemann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,7,13]]},"reference":[{"key":"21_CR1","first-page":"130","volume":"665","author":"E. Best","year":"1993","unstructured":"E. Best, R. Devillers, and J. Esparza. General Refinement and Recursion for the Box Calculus. STACS'93. Springer, LNCS Vol. 665, 130\u2013140 (1993).","journal-title":"Springer, LNCS"},{"key":"21_CR2","first-page":"21","volume":"609","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J.G. Hall. The Box Calculus: a New Causal Algebra with Multilabel Communication. Advances in Petri Nets 92. Springer, LNCS Vol. 609, 21\u201369 (1992).","journal-title":"Springer, LNCS"},{"key":"21_CR3","first-page":"103","volume":"935","author":"E. Best","year":"1995","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. Application and Theory of Petri Nets 1995. Springer, LNCS Vol. 935, 103\u2013120 (1995).","journal-title":"Springer, LNCS"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. An M-Net Semantics of B(PN)2. Structures in Concurrency Theory: STRICT'95 Proceedings. Springer, 85\u2013100 (1995).","DOI":"10.1007\/978-1-4471-3078-9_6"},{"key":"21_CR5","unstructured":"E. Best, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. To appear in Acta Informatica."},{"key":"21_CR6","first-page":"379","volume":"694","author":"E. Best","year":"1993","unstructured":"E. Best, R.P. Hopkins. B(PN)2 \u2014 a Basic Petri Net Programming Notation. Proceedings of PARLE'93. Springer, LNCS Vol. 694, 379\u2013390 (1993).","journal-title":"Springer, LNCS"},{"key":"21_CR7","first-page":"1","volume":"935","author":"E. Best","year":"1995","unstructured":"E. Best and M. Koutny. A Refined View of the Box Algebra. Application and Theory of Petri Nets 1995. Springer, LNCS Vol. 935, 1\u201320 (1995).","journal-title":"Springer, LNCS"},{"key":"21_CR8","first-page":"605","volume":"944","author":"E. Best","year":"1995","unstructured":"E. Best and M. Koutny. Solving Recursive Net Equations. Automata, Languages and Programming 1995. Springer, LNCS Vol. 944, 605\u2013623 (1995).","journal-title":"Springer, LNCS"},{"key":"21_CR9","unstructured":"R. Devillers. The Synchronisation Operator Revisited for the Petri Box Calculus. Technical Report LIT-290, Universit\u00e9 Libre de Bruxelles (1994)."},{"key":"21_CR10","first-page":"313","volume":"32","author":"R. Devillers","year":"1995","unstructured":"R. Devillers. S-Invariant Analysis of General Recursive Petri Boxes. Acta Informatica, Vol. 32, 313\u2013345 (1995).","journal-title":"Acta Informatica"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"R. Devillers and H. Klaudel. Refinement and Recursion in a High Level Petri Box Calculus. Structures in Concurrency Theory: STRICT'95 Proceedings. Springer, 144\u2013159 (1995).","DOI":"10.1007\/978-1-4471-3078-9_10"},{"key":"21_CR12","unstructured":"R. Devillers, H. Klaudel and R.-C. Riemann. General Refinement in the M-net Calculus. Technical Report LIT-357, Universit\u00e9 Libre de Bruxelles (1997)."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"H. Fleischhack and B. Grahlmann. A Petri Net Semantics for B(PN)2 with Procedures. Parallel and Distributed Software Engineering, Boston Ma., 1997.","DOI":"10.1109\/PDSE.1997.596823"},{"key":"21_CR14","first-page":"207","volume":"254","author":"H. Genrich","year":"1987","unstructured":"H. Genrich. Predicate-Transition Nets. In Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986] Part I. Springer, LNCS Vol. 254, 207\u2013247 (1987).","journal-title":"Springer, LNCS"},{"key":"21_CR15","first-page":"267","volume":"430","author":"R.J. Glabbeek van","year":"1989","unstructured":"R.J. van Glabbeek and U. Goltz. Refinement of Actions in Causality Based Models. Stepwise Refinement of Distributed Systems. Springer, LNCS Vol. 430, 267\u2013300 (1989).","journal-title":"Springer, LNCS"},{"key":"21_CR16","unstructured":"K. Jensen Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science, Vol. 1. Springer (1992)."},{"key":"21_CR17","unstructured":"H. Klaudel. Mod\u00e8les alg\u00e9briques, bas\u00e9s sur les r\u00e9seaux de Petri, pour la s\u00e9mantique des langages de programmation concurrents. PhD Thesis, Universit\u00e9 Paris XI Orsay (1995)."},{"key":"21_CR18","first-page":"303","volume":"965","author":"H. Klaudel","year":"1995","unstructured":"H. Klaudel and E. Pelz. Communication as Unification in the Petri Box Calculus. Fundamentals of Computation Theory. Springer, LNCS Vol. 965, 303\u2013312 (1995).","journal-title":"Springer, LNCS"},{"key":"21_CR19","first-page":"365","volume":"I","author":"J. Lilius","year":"1996","unstructured":"J. Lilius and E. Pelz. An M-net Semantics for B(PN)2 with Procedures. In ISCIS XI, Vol. I, 365\u2013374, Antalya, November 1996. Middle East Technical University.","journal-title":"ISCIS XI"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0058038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T10:03:29Z","timestamp":1555754609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0058038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638766","9783540696599"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0058038","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}