{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:07Z","timestamp":1725664507391},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_70","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:26Z","timestamp":1330293806000},"page":"465-480","source":"Crossref","is-referenced-by-count":0,"title":["Petri boxes and finite precedence"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Devillers","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"27_CR1","unstructured":"E.Best and R.Devillers: Interleaving and Partial Orders in Concurrency: a Formal Comparison. Proceedings of the IFIP TC2 Working Conference on Formal Description of Programming Concepts-III. M. Wirsing (ed.), North-Holland, pp. 299\u2013323 (1987)."},{"key":"27_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E.Best and R.Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. TCS 55, pp. 87\u2013136 (1987).","journal-title":"TCS"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"E.Best, R.Devillers and J.Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. Proceedings STACS-93, P. Enjalbert et al. (eds.). Springer-Verlag Lecture Notes in Computer Science Vol. 665, pp. 130\u2013140 (1993).","DOI":"10.1007\/3-540-56503-5_16"},{"key":"27_CR4","unstructured":"E.Best, R.Devillers and J.Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. Advances in Petri Nets 1992. Springer-Verlag Lecture Notes in Computer Science Vol. 609, pp.21\u201369 (1992)."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"E.Best, H.Fleischhack, W.Fraczak, R.P.Hopkins, H.Klaudel and E.Pelz: A High Level Petri Net Semantics of B(PN)2. Proceedings STRICT'95, Workshop in Computing. Springer Verlag (1995).","DOI":"10.1007\/978-1-4471-3078-9_6"},{"key":"27_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-60029-9_36","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. Proceedings of the International Conference on Application and Theory of Petri Nets 95. Springer-Verlag Lecture Notes in Computer Science Vol. 935, pp.103\u2013120 (1995).","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"27_CR7","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 and R.P.Hopkins: B(PN)2 \u2014 A Basic Petri Net Programming Notation. Proceedings of PARLE-93. Springer-Verlag Lecture Notes in Computer Science Vol. 694, pp.379\u2013390 (1993).","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"E.Best and M.Koutny: Solving Recursive Net Equations. Proceedings ICALP'95, Szeged (F.Gecseg and Z.F\u00fcl\u00f6p, eds.), Springer-Verlag Lecture Notes in Computer Science Vol. 944, pp.605\u2013623 (1995).","DOI":"10.1007\/3-540-60084-1_109"},{"key":"27_CR9","unstructured":"E.Best and M.Koutny: A Refined View of the Box Calculus. Proceedings of the 16th International Conference on Application and Theory of Petri Nets, Torino (G.De Michelis and M.Diaz, eds), Springer-Verlag Lecture Notes in Computer Science Vol. 935, pp.1\u201321 (1995)."},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"E.Best and H-G.Linde-G\u00f6ers: Compositional Process Semantics of Petri Boxes. Proceedings of Mathematics of Program Construction 92. Springer-Verlag Lecture Notes in Computer Science Vol. 670 (1993).","DOI":"10.1007\/3-540-58027-1_12"},{"key":"27_CR11","unstructured":"R.Devillers: Towards a General Relabelling Operator for the Petri Box Calculus. Internal Report LIT-274. Universit\u00e9 Libre de Bruxelles (1993)."},{"key":"27_CR12","unstructured":"R.Devillers: On a More Liberal Synchronisation Operator for the Petri Box Calculus. Internal Report LIT-281. Universit\u00e9 Libre de Bruxelles (1993)."},{"key":"27_CR13","unstructured":"R.Devillers: The Synchronisation Operator Revisited for the Petri Box Calculus. Internal Report LIT-290. Universit\u00e9 Libre de Bruxelles (1994)."},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"R.Devillers: Analysis of General Refined Petri Boxes. Proceedings of the XIIIth International Conference of the Chilean Society of Computer Science (La Serena, Chile), pp. 419\u2013434 (1993). also in Computer Science 2: Research and Applications (Plenum Publishing), pp.411\u2013428 (1994).","DOI":"10.1007\/978-1-4757-9805-0_34"},{"key":"27_CR15","first-page":"313","volume":"32","author":"R. Devillers","year":"1995","unstructured":"R.Devillers: S-invariant Analysis of General Recursive Petri Boxes. Acta Informatica 32, pp.313\u2013345 (1995).","journal-title":"Acta Informatica"},{"key":"27_CR16","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/3-540-57182-5_4","volume":"711","author":"V. Diekert","year":"1993","unstructured":"V.Diekert: Complex and complex-like traces. MFCS'93. Lecture Notes in Computer Science Vol. 711, pp.68\u201382 (1993).","journal-title":"Lecture Notes in Computer Science"},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1006\/inco.1995.1010","volume":"116","author":"V. Diekert","year":"1995","unstructured":"V.Diekert, P.Gastin and A.Petit: Rational and recognizable complex trace languages. Information and Computation Vol. 116, pp.134\u2013153 (1995).","journal-title":"Information and Computation"},{"key":"27_CR18","volume-title":"Ph.D. Thesis","author":"W. Fraczak","year":"1996","unstructured":"W.Fraczak: Composition Parall\u00e8le et Synchronisation de Syst\u00e8mes \u00e0 Ev\u00e9nements Discrets. Ph.D. Thesis, Universit\u00e9 Paris Sud (Orsay, France) (1996)"},{"key":"27_CR19","unstructured":"W.Fraczak, H.Klaudel and E.Pelz: Multi-labeled High Level Nets for a Semantics of B(PN)2. LRI draft report (Orsay, France) (1992)"},{"key":"27_CR20","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-55610-9_172","volume":"609","author":"R.P. Hopkins","year":"1992","unstructured":"R.P.Hopkins, J.Hall and O.Botti: A Basic-Net Algebra for Program Semantics and its Application to occam. Advances in Petri Nets 1992. Springer-Verlag Lecture Notes in Computer Science Vol. 609, pp. 179\u2013214 (1992).","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"27_CR21","volume-title":"Ph.D. Thesis","author":"H. Klaudel","year":"1995","unstructured":"H.Klaudel: Mod\u00e8les Alg\u00e9briques, Bas\u00e9s sur les R\u00e9seaux de Petri, pour la S\u00e9mantique des Langages de Programmation Concurrents. Ph.D. Thesis, Universit\u00e9 Paris Sud (Orsay, France) (1995)"},{"key":"27_CR22","unstructured":"H.Klaudel and E.Pelz: Algebraic Representation of Data in the PBC. LRI Report 793 (Orsay, France) (1992)"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:49:53Z","timestamp":1640947793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}