{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:27Z","timestamp":1751983647551},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678649"},{"type":"electronic","value":"9783540446583"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722298_10","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T20:43:10Z","timestamp":1167424990000},"page":"165-180","source":"Crossref","is-referenced-by-count":8,"title":["Haskell-Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Claus","family":"Reinke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"World of Petri Nets: Homepage of the International Petri Net Community (1999), \n                    \n                      http:\/\/www.daimi.aau.dk\/PetriNets\/"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48515-5_1","volume-title":"Implementation of Functional Languages","author":"C. A\u00dfmann","year":"1999","unstructured":"A\u00dfmann, C.: Performance Results for an Implementation of the Process Coordination Language K2. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol.\u00a01595, pp. 1\u201319. Springer, Heidelberg (1999)"},{"key":"10_CR3","unstructured":"CPN group at the University of Aarhus in Denmark. Design\/CPN \u2013 Computer Tool for Coloured Petri Nets (1999), \n                    \n                      http:\/\/www.daimi.aau.dk\/designCPN\/"},{"key":"10_CR4","unstructured":"Hielscher, W., Urbszat, L., Reinke, C., Kluge, W.: On Modelling Train Traffic in a Model Train System. In: Proceedings of the Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design\/CPN, Aarhus, Denmark. Technical Report PB-532, Department of Computer Science, University of Aarhus (June 1998)"},{"key":"10_CR5","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1997) (Three Volumes)"},{"key":"#cr-split#-10_CR6.1","unstructured":"Jensen, K.: Recommended Books and Papers on Coloured Petri Nets(1999);"},{"key":"#cr-split#-10_CR6.2","unstructured":"Includes links to online articles covering introductions, theory, and practice,                                           http:\/\/www.daimi.aau.dk\/~kjensen\/papers_books\/rec_papers_books.html"},{"key":"10_CR7","unstructured":"Jones, M.P.: A prototype implementation of extensible records for Hugs. Part of the documentation for Hugs (March 1997), \n                    \n                      http:\/\/www.haskell.org\/hugs\/"},{"key":"10_CR8","unstructured":"Jones, S.P., Hughes, J., Augustsson, L., Barton, D., Boutel, B., Burton, W., Fasel, J., Hammond, K., Hinze, R., Hudak, P., Johnsson, T., Jones, M., Launchbury, J., Meijer, E., Peterson, J., Reid, A., Runciman, C., Wadler, P.: Haskell 98: A Nonstrict, Purely Functional Language. Technical report (February 1999), Available at \n                    \n                      http:\/\/www.haskell.org"},{"key":"10_CR9","unstructured":"Kluge, W.E.: A User\u2019s Guide for the Reduction System \u03c0-RED+. Technical Report 9419, Institute of Computer Science and Applied Mathematics, Christian- Albrechts-University, Kiel (December 1994)"},{"key":"10_CR10","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2, Second Edition: New York: Griffiss Air Force Base, Technical Report RADC-TR-65-377, Vol.1, Pages: Suppl. 1, English translation (1962)"},{"key":"10_CR11","unstructured":"Reisig, W.: Petri Nets, An Introduction. EATCS, Monographs on Theoretical Computer Science. Springer, Heidelberg (1995)"},{"key":"#cr-split#-10_CR12.1","unstructured":"Schepers, J.: Using Functional Languages for Process Specifications. In: Glaser, H., Hartel, P. (eds.) 3rd International Workshop on the Parallel Implementation of Functional Languages, Southampton, UK, June 5-7, pp. 89???102 (1991);"},{"key":"#cr-split#-10_CR12.2","unstructured":"Technical Report CSTR 91-07, University of Southampton"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0167-6423(86)90028-6","volume":"6","author":"W. Stoye","year":"1986","unstructured":"Stoye, W.: Message-Based Functional Operating Systems. Science of Computer Programming\u00a06, 291\u2013311 (1986)","journal-title":"Science of Computer Programming"},{"key":"10_CR14","unstructured":"Theoretical Foundations Group, Department for Informatics, University of Hamburg. Renew \u2014 The Reference Net Workshop (1999), \n                    \n                      http:\/\/www.renew.de\/"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Turner, D.: Functional Programming and Communicating Processes. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol.\u00a0259. Springer, Heidelberg (1987)","DOI":"10.1007\/3-540-17945-3_3"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722298_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T15:59:05Z","timestamp":1553183945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722298_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678649","9783540446583"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/10722298_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}