{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:31:48Z","timestamp":1754487108104},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:49:25Z","timestamp":1330256965000},"page":"379-390","source":"Crossref","is-referenced-by-count":41,"title":["B(PN) 2 \u2014 a basic Petri net programming notation"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Richard P.","family":"Hopkins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"30_CR1","unstructured":"E.Best, R.Devillers and J.G.Hall: The Petri Box Calculus: a New Causal Algebra with Multiway Communication. Advances in Petri Nets 1992 (ed. G.Rozenberg), 21\u201369, Springer-Verlag Lecture Notes in Computer Science Vol.609 (1992)."},{"key":"30_CR2","unstructured":"L.Cherkasova and V.Kotov: Descriptive and Analytical Process Algebras. Advances in Petri Nets 89 (ed. G.Rozenberg), Springer-Verlag Lecture Notes in Computer Science Vol. 424, 77\u2013104 (1989)."},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"P.Degano, R.De Nicola and U.Montanari: A Distributed Operational Semantics for CCS Based on C\/E Systems. Acta Informatica 26 (1988).","DOI":"10.1007\/BF02915446"},{"key":"30_CR4","unstructured":"J.Esparza: Past Model Checking Using Branching Processes. Hildesheimer Informatikbericht 14\/92 (October 1992). An abridged version appears in Proc. of TAPSOFT-93 (1993)."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"F.Feldbrugge: Petri Net Tool Overview 1989. Advances in Petri Nets 1989 (ed. G.Rozenberg), Springer-Verlag Lecture Notes in Computer Science, Vol.424, 151\u2013178 (1990).","DOI":"10.1007\/3-540-52494-0_29"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"U.Goltz: On Representing CCS Programs by Finite Petri Nets. Proc. MFCS-88, Springer-Verlag Lecture Notes in Computer Science Vol.324, 339\u2013350 (1988).","DOI":"10.1007\/BFb0017157"},{"key":"30_CR7","unstructured":"U.Goltz, R.Kuiper and W.Penczek: Prepositional Temporal Logics and Equivalences. Proc. of CONCUR-92,Springer-Verlag Lecture Notes in Computer Science, 222\u2013236 (1992)."},{"key":"30_CR8","unstructured":"J.G.Hall: Petri Boxes and General Recursion. In: DEMON Final Report, appears as GMD-Studie Nr.217 (1993)."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"J.G.Hall, R.P.Hopkins and O.Botti: A Basic-Net Algebra for Program Semantics and its Application to occam. In \u2018Advances in Petri Nets 1992\u2019 (ed. G.Rozenberg), 179\u2013214 (1992).","DOI":"10.1007\/3-540-55610-9_172"},{"issue":"2","key":"30_CR10","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"E. C. R. R. Hehner","year":"1984","unstructured":"E.C.R.Hehner: Predicative Programming Part I. Comm. of the ACM, Vol.27(2), 134\u2013152 (February 1984).","journal-title":"Comm. of the ACM"},{"issue":"8","key":"30_CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R.Hoare: Communicating Sequential Processes. CACM 21(8), 666\u2013677 (1978).","journal-title":"CACM"},{"key":"30_CR12","unstructured":"R.P.Hopkins: The TMR and Concurrent Queue Case Studies. In: DEMON Final Report, appears as GMD-Studie Nr.217 (1993)."},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"K.Jensen: Coloured Petri Nets. Springer-Verlag Lecture Notes in Computer Science Vol.254, 248\u2013299 (1986).","DOI":"10.1007\/978-3-540-47919-2_10"},{"key":"30_CR14","unstructured":"R.Janicki and P.E.Lauer: Specification and Analysis of Concurrent Systems. The COSY Approach. Springer-Verlag, EATCS Monographs on Theoretical Computer Science Vol. 26 (1992)."},{"issue":"4","key":"30_CR15","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/948176.948183","volume":"18","author":"D. May","year":"1983","unstructured":"D.May: occam. SIGPLAN Notices, Vol.18(4), 69\u201379 (April 1983).","journal-title":"SIGPLAN Notices"},{"key":"30_CR16","unstructured":"R.Milner: Communication and Concurrency. Prentice Hall (1990)."},{"issue":"3","key":"30_CR17","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T. Murata","year":"1989","unstructured":"T.Murata, B.Shenker and S.M.Shatz: Detection of ADA Static Deadlocks Using Petri Net Invariants. IEEE Transactions on Software Engineering, 15(3), 314\u2013326 (1989).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"E.R.Olderog: Nets, Terms and Formulae. Habilitation (1989). Cambridge Tracts in Theoretical Computer Science (1991).","DOI":"10.1017\/CBO9780511526589"},{"key":"30_CR19","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12\/3","author":"G. Peterson","year":"1981","unstructured":"G.Peterson: Myths about the Mutual Exclusion Problem. IPL Vol. 12\/3, 115\u2013116 (1981).","journal-title":"IPL"},{"key":"30_CR20","unstructured":"U.Pletat: Algebraic Specifications of Abstract Data Types and CCS: an Operational Junction. Proc. of: 6th IFIP International Workshop on Protocol Specification, Testing and Verification, Montreal (1986)."},{"issue":"1","key":"30_CR21","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V.Pratt: Modeling Concurrent Systems with Partial Orders. Int. Journal of Parallel Programming, Vol. 15(1), 33\u201371 (1986).","journal-title":"Int. Journal of Parallel Programming"},{"key":"30_CR22","unstructured":"W.Reisig: Petri Nets: an Introduction. EATCS Monographs on Theoretical Computer Science Vol.4, Springer Verlag (1988)."},{"key":"30_CR23","unstructured":"P.H.Starke: PAN \u2014 a Petri Net Analyser (1992). Described in [5] as part of PSI-tool."},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"D.Taubner: Finite Representation of CCS and TCSP Programs by Automata and Petri Nets. Springer-Verlag Lecture Notes in Computer Science Vol. 369 (1989).","DOI":"10.1007\/3-540-51525-9"},{"key":"30_CR25","first-page":"150","volume":"166","author":"G. Winskel","year":"1984","unstructured":"G.Winskel: A New Definition of Morphism on Petri Nets. Proc. STACS-84, Springer-Verlag Lecture Notes in Computer Science Vol. 166, 150\u2013150 (1984).","journal-title":"Proc. STACS-84, Springer-Verlag Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:48Z","timestamp":1605647208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}