{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:40:08Z","timestamp":1725550808711},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008521"},{"type":"electronic","value":"9783540365693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36569-9_43","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:05Z","timestamp":1269897125000},"page":"635-649","source":"Crossref","is-referenced-by-count":5,"title":["Translating Haskell# Programs into Petri Nets"],"prefix":"10.1007","author":[{"given":"Francisco Heron","family":"de Carvalho","sequence":"first","affiliation":[]},{"given":"Rafael Dueire","family":"Lins","sequence":"additional","affiliation":[]},{"given":"Ricardo Massa Ferreira","family":"Lima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,15]]},"reference":[{"key":"43_CR1","unstructured":"Baker, M., Buyya, R.,& Hyde, D. (1999). Cluster Computing: A High Performance Contender. IEEE Computer, July, 79\u201383. 635, 647"},{"key":"43_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advanced in Petri Nets","author":"G. Berthelot","year":"1986","unstructured":"Berthelot, G. (1986). Checking Properties of Nets Using Transformations. Advanced in Petri Nets, LNCS 222, 19\u201340. 638"},{"key":"43_CR3","unstructured":"Best E., Esparza J., Grahlmann B., Melzer S., R\u00f3mer S., Wallner F. (1997). The PEP Verification System. Workshop on Formal Design of Safety Critical Embedded Systems (FEmSys\u201997) (tool presentation. 645"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Breitinger, S., Loogen, R., Ortega Mall\u00e9n, Y., & Pe\u00f1a, R. (1997). The Eden Coordination Model for Distributed Memory Systems. High-Level Parallel Programming Models and Supportive Environments (HIPS). 636","DOI":"10.1109\/HIPS.1997.582964"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Carvalho Jr., F.H., Lima, R.M.F., & Lins, R.D. (2002). Coordinating Functional Processes with Haskell#. ACM Press (ed), Proceedings of ACM Symposium on Applied Computing, 393\u2013400. 636, 642","DOI":"10.1145\/508791.508865"},{"key":"43_CR6","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/363095.363143","volume":"11","author":"E. W. Djkstra","year":"1968","unstructured":"Djkstra, E. W. (1968). The Structure of THE Programming System. Communications of the ACM, 11, 341\u2013346. 642","journal-title":"Communications of the ACM"},{"key":"43_CR7","unstructured":"Dongarra, J., Otto, S. W., Snir, M., & Walker, D. (1995). An Introduction to the MPI Standard. Technical Report CS-95-274, University of Tennesee, Jan. http:\/\/www.netlib.org\/tennessee\/ut-cs-95-274.ps . 635"},{"issue":"2","key":"43_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., & Carriero, N. (1992). Coordination Languages and Their Signifi-cance. Communications of the ACM, 35(2), 97\u2013107. 635, 638","journal-title":"Communications of the ACM"},{"key":"43_CR9","unstructured":"Hack, M. (1976). Decidability Questions for Petri Nets. PhD Thesis, MIT. 637"},{"key":"43_CR10","unstructured":"Hoare, C. A. R. (1985). Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. 636"},{"key":"43_CR11","unstructured":"Hoare, C. A. R. (1988). Occam 2 Reference Manual. Prentice-Hall. 636"},{"key":"43_CR12","unstructured":"Jensen, K. (1997). Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag. Three Volumes. 637"},{"key":"43_CR13","unstructured":"Kelly, P. (1989). Functional Programming for Loosely-coupled Multiprocessors. Research Monographs in Parallel and Distributed Computing, MIT Press. 636"},{"key":"43_CR14","series-title":"Lect Notes Comput Sci","first-page":"80","volume-title":"Haskell#: A Functional Language with Explicit Parallelism","author":"R. M. F. Lima","year":"1998","unstructured":"Lima, R. M. F., & Lins, R. D. (1998). Haskell#: A Functional Language with Explicit Parallelism. LNCS 1573 (VECPAR\u201998-International Meeting on Vector and Parallel Processing), June, 80\u201388. 635"},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"Lima, R. M. F., & Lins, R. D. (2000). Translating HCL Programs into Petri Nets. Proceedings of the 14th Brazilian Symposium on Software Engineering, Jo\u00e3o Pessoa, Brazil. 636","DOI":"10.5753\/sbes.2000.25926"},{"key":"43_CR16","unstructured":"Lima, R. M. F., Carvalho Jr., F. H., & Lins, R. D. (1999). Haskell#: A Message Passing Extension to Haskell. CLAPF\u201999-3rd Latin American Conference on Functional Programming, Mar., 93\u2013108. 635, 636"},{"key":"43_CR17","unstructured":"Lipton, R. J. (1976). The Reachability Problem Requires Exponential Space. New Haven, CT, Yale University, Department of Computer Science, Res. Rep. 62, Jan. 637"},{"key":"43_CR18","unstructured":"Manber, U. (1999). Introduction to Algorithms: A Creative Approach. Reading, Massachusetts: Addison-Wesley. chapter 12, pages 375\u2013409. 644"},{"issue":"4","key":"43_CR19","first-page":"541","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. (1989). Petri Nets: Properties Analysis and Applications. Proceedings of IEEE, 77(4), 541\u2013580. 636, 637, 638","journal-title":"Petri Nets: Properties Analysis and Applications"},{"key":"43_CR20","unstructured":"Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood, N. J. 636"},{"key":"43_CR21","unstructured":"Peyton Jones, S. L., & Hughes, J. (1999). Report on the Programming Language Haskell 98, A Non-strict, Purely Functional Language. Feb. 635"},{"key":"43_CR22","unstructured":"Peyton Jones, S. L., Hall, C., Hammond, K., & Partain, W. (1993). The Glasgow Haskell Compiler: a Technical Overview. Joint Framework for Information Technology Technical Conference, 249\u2013257. 635"},{"key":"43_CR23","doi-asserted-by":"crossref","unstructured":"Reisig, W. (1985). Petri Nets. Springer-Verlag, Berlin. 636","DOI":"10.1007\/978-3-642-69968-9"},{"key":"43_CR24","unstructured":"Roch, S., & Starke, P. (1999). Manual: Integrated Net Analyzer Version 2.2. Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik, Lehrstuhl f\u00fcr Automatenund Systemtheorie. 636, 645, 646"},{"key":"43_CR25","first-page":"131","volume":"199","author":"M. Silva","year":"1995","unstructured":"Silva, M., & Teruel, E. (1995). Analysis of Autonomous Petri Nets with a Bulk Services and Arrivals. Lecture Notes in Control and Information Science, 199, 131\u2013143. 637","journal-title":"Analysis of Autonomous Petri Nets with a Bulk Services and Arrivals"},{"key":"43_CR26","unstructured":"Silva, M., & Teruel, E. (1996). Petri Nets for the Design and Operation of Manufacturing Systems. CIMAT\u201996. 638"},{"key":"43_CR27","unstructured":"Tanenbaum, A. S. (1996). Computer Networks. Prentice Hall. 643"},{"key":"43_CR28","unstructured":"Taylor, F. (1997). Parallel Functional Programming by Partitioning. PhD Thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, Jan. 636"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing for Computational Science \u2014 VECPAR 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36569-9_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T11:18:53Z","timestamp":1711365533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36569-9_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008521","9783540365693"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-36569-9_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}