{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:50:29Z","timestamp":1778298629124,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540668565","type":"print"},{"value":"9783540466741","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_17","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T10:50:17Z","timestamp":1196333417000},"page":"190-200","source":"Crossref","is-referenced-by-count":9,"title":["Asynchronous Links in the PBC and M-Nets"],"prefix":"10.1007","author":[{"given":"Hanna","family":"Klaudel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"V. Benzaken, N. Hugon, H. Klaudel, E. Pelz, and R. Riemann. M-net Based Semantics for Triggers. ICPN\u201998 LNCS Vol. 1420 (1998).","DOI":"10.1007\/3-540-69108-1_17"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"E. Best. A Memory Module Specification using Composable High Level Petri Nets. Formal Systems Specification, The RPC-Memory Specification Case Study, LNCS Vol. 1169 (1996).","DOI":"10.1007\/BFb0024428"},{"key":"17_CR3","first-page":"130","volume":"665","author":"E. Best","year":"1993","unstructured":"E. Best, R. Devillers, and J. Esparza. General Retinement and Recursion for the Box Calculus. STACS\u201993. Springer, LNCS Vol. 665, 130\u2013140 (1993).","journal-title":"STACS\u201993"},{"key":"17_CR4","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. APN\u201992. Springer, LNCS Vol. 609, 21\u201369 (1992).","journal-title":"APN\u201992"},{"key":"17_CR5","unstructured":"E. Best and H. Fleischhack, editors. PEP: Programming Environment Based on Petri Nets. Number 14\/95 in Hildesheimer Informatik-Berichte. Univ. Hildesheim (1995)."},{"key":"17_CR6","doi-asserted-by":"crossref","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. Acta Informatica:35 (1998).","DOI":"10.1007\/s002360050144"},{"key":"17_CR7","first-page":"379","volume":"694","author":"E. Best","year":"1993","unstructured":"E. Best, R.P. Hopkins. B(PN)2 a Basic Petri Net Programming Notation. PARLE\u201993. Springer, LNCS Vol. 694, 379\u2013390 (1993).","journal-title":"PARLE\u201993"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"R. Devillers and H. Klaudel. Retinement and Recursion in a High Level Petri Box Calculus. STRICT\u201995. Springer, ViC, 144\u2013159 (1995).","DOI":"10.1007\/978-1-4471-3078-9_10"},{"key":"17_CR9","first-page":"297","volume":"1346","author":"R. Devillers","year":"1997","unstructured":"R. Devillers, H. Klaudel and R.-C. Riemann. General Retinement for High Level Petri Nets. FST & TCS\u201997, Springer, LNCS Vol. 1346, 297\u2013311 (1997).","journal-title":"FST & TCS\u201997"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/0169-023X(91)90024-R","volume":"6","author":"R. Durchholz","year":"1991","unstructured":"R. Durchholz. Causality, time, and deadlines. Data & Knowledge Engineering, 6:496\u2013477 (1991).","journal-title":"Data & Knowledge Engineering"},{"key":"17_CR11","unstructured":"H. Fleischhack and B. Grahlmann. A Petri Net Semantics for B(PN)2 with Pro-cedures. Parallel and Distributed Software Engineering, Boston Ma. (1997)."},{"key":"17_CR12","unstructured":"H. Klaudel and R.-C. Riemann. Retinement Based Semantics of Parallel Proce-dures. In proceedings of PDPTA\u201999 (1999)."},{"key":"17_CR13","first-page":"210225","volume":"836","author":"M. Koutny","year":"1994","unstructured":"M. Koutny, J. Esparza, E. Best. Operational Semantics for the Petri Box Calculus. CONCUR\u201994. Springer, LNCS Vol. 836, 210225 (1994).","journal-title":"CONCUR\u201994"},{"key":"17_CR14","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. ISCIS XI, Antalya, Vol. I, 365\u2013374 (1996).","journal-title":"ISCIS XI"},{"key":"17_CR15","unstructured":"G. Richter. Counting interfaces for discrete time modeling. Technical Report rep-set-1998-26, GMD German National Research Center for Information Technology, SET (1998)."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T04:56:20Z","timestamp":1557032180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}