{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:38Z","timestamp":1725564878931},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_20","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"351-370","source":"Crossref","is-referenced-by-count":1,"title":["A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"M. Jos\u00e9","family":"Polo Mart\u00edn","sequence":"first","affiliation":[]},{"given":"Luis A. Miguel","family":"Quintales","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda N.","family":"Moreno Garc\u00eda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Abdallah, M., Guerraoui, R., Pucheral, P.: One-phase commit: Does it make sense. In: Int. Conf. on Parallel and Distributed Systems (ICPADS), pp. 182\u2013192 (1998)","DOI":"10.1109\/ICPADS.1998.741040"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/BFb0054516","volume-title":"Database and Expert Systems Applications","author":"M. Abdallah","year":"1998","unstructured":"Abdallah, M., Pucheral, P.: A single-phase non-blocking atomic commitment protocol. In: Quirchmayr, G., Bench-Capon, T.J.M., Schweighofer, E. (eds.) DEXA 1998. LNCS, vol.\u00a01460, pp. 584\u2013595. Springer, Heidelberg (1998)"},{"key":"20_CR3","unstructured":"Al-Houmaily, Y., Chrysanthis, P.: The implicit-yes vote commit protocol with delegation of commitment. In: Proceedings of 9th Intl. Conf. On Parallel and Distributed Computing Systems (September 1996)"},{"issue":"5","key":"20_CR4","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1109\/12.53589","volume":"39","author":"P. Ancilotti","year":"1990","unstructured":"Ancilotti, P., Lazzerini, B., Prete, C.A., Sacchi, M.: A distributed commit protocol for a multicomputer system. IEEE Transactions on Computers\u00a039(5), 718\u2013724 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"20_CR5","unstructured":"Carey, M.J., Livny, M.: Distributed concurrency control performance: A study of algorithms, distribution, and replication. In: 14th International Conference on VLDB, Los Angeles, CA, August 1988, pp. 13\u201325 (1988)"},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"K.M. Chandy","year":"1983","unstructured":"Chandy, K.M., Misra, J., Haas, L.M.: Distributed deadlock detection. ACM Transactions on Computer Systems\u00a01(2), 144\u2013156 (1983)","journal-title":"ACM Transactions on Computer Systems"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Chen, S., Deng, Y., Sun, W., Rishe, N.: Efficient algorithms for detection and resolution of distributed deadlocks. In: 7th IEEE Symposium on Parallel and Distributeed Processing, San Antonio, Texas, October 25-28, pp. 10\u201316 (1995)","DOI":"10.1109\/SPDP.1995.530659"},{"issue":"12","key":"20_CR8","doi-asserted-by":"publisher","first-page":"1644","DOI":"10.1109\/32.58776","volume":"15","author":"A.N. Choudhary","year":"1989","unstructured":"Choudhary, A.N., Kohler, W.H., Stankovic, J.A., Towsley, D.: Correction to a modified priority based probe algorithm for distributed deadlock detection and resolution. IEEE Transaction on Software Engineering\u00a015(12), 1644 (1989)","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"1","key":"20_CR9","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/32.21721","volume":"15","author":"A.N. Choudhary","year":"1989","unstructured":"Choudhary, A.N., Kohler, W.H., Stankovic, J.A., Towsley, D.: A modified priority based probe algorithm for distributed deadlock detection and resolution. IEEE Transaction on Software Engineering\u00a015(1), 10\u201317 (1989)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"20_CR10","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)"},{"key":"20_CR11","unstructured":"Object Management Group. Transaction Service Specification, Version 1.3. (2002)"},{"key":"20_CR12","unstructured":"The Open Group. Snapshot Distributed Transaction Processing: The XA+ Specification Version. The Open Group (1994)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Gupta, R., Haritsa, J., Ramamritham, K.: Revisiting commit processing in distributed database systems. In: Proc. of the ACM SIGMOD International Conference on Management of Data, Tucson, Arizona, June 1997, pp. 486\u2013497 (1997)","DOI":"10.1145\/253260.253366"},{"key":"20_CR14","series-title":"Monographs in Theorical Computer Science","volume-title":"Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts, Vol 2: Analysis Methods, Vol 3: Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts, Vol 2: Analysis Methods, Vol 3: Practical Use. Monographs in Theorical Computer Science. Springer, Heidelberg (1997)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-65307-4_50","volume-title":"Lectures on Petri Nets II: Applications","author":"K. Jensen","year":"1998","unstructured":"Jensen, K.: An introduction to the practical use of coloured petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01492, pp. 237\u2013292. Springer, Heidelberg (1998)"},{"key":"20_CR16","unstructured":"Kim, Y.M., Lai, T.H., Soundarajan, N.: Efficient distributed deadlock detection and resolution using probes, tokens, and barriers. In: International Conference on Parallel and Distributed Systems (ICPADS 1997), Seoul, KOREA, December 11-13, pp. 584\u2013591 (1997)"},{"key":"20_CR17","unstructured":"Kindler, E., Peuker, S.: Integrating distributed algorithms into distributed systems. In: Informatik-Berichte, Berlin, September 28-30. Workshop Concurrency, Specification and Programming, vol.\u00a0110, pp. 128\u2013143 (1998)"},{"issue":"4","key":"20_CR18","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/45075.46163","volume":"19","author":"E. Knapp","year":"1987","unstructured":"Knapp, E.: Deadlock detection in distributed databases. ACM Computing Surveys\u00a019(4), 303\u2013328 (1987)","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"20_CR19","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s007780050075","volume":"8","author":"N. Krivokapic","year":"1999","unstructured":"Krivokapic, N., Kemper, A., Gudes, E.: Deadlock detection in distributed database systems: A new algorithm and a comparative performance analysis. The VLDB Journal\u00a08(2), 79\u2013100 (1999)","journal-title":"The VLDB Journal"},{"issue":"1","key":"20_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/32.263754","volume":"20","author":"A.D. Kshemkalyani","year":"1994","unstructured":"Kshemkalyani, A.D., Singhal, M.: Efficient detection and resolution of generalized distributed deadlocks. IEEE Transactions on Software Engeneering\u00a020(1), 43\u201354 (1994)","journal-title":"IEEE Transactions on Software Engeneering"},{"key":"20_CR21","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M.: Renew - User Guide. Theoretical Foundations Group. Distributed Systems Group. Department for Informatics. University of Hamburg (2002)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Levy, E., Korth, H.F., Silberschatz, A.: An optimistic commit protocol for distributed transaction management. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Denver, Colorado, May 29-31, pp. 88\u201397 (1991)","DOI":"10.1145\/115790.115800"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Mitchel, D.P., Merrit, M.J.: A distributed algorithm for deadlock detection and resolution. In: Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, pp. 282\u2013284 (1984)","DOI":"10.1145\/800222.806755"},{"issue":"2","key":"20_CR24","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/319702.319717","volume":"7","author":"R. Obermarck","year":"1982","unstructured":"Obermarck, R.: Distributed deadlock detection algorithm. ACM Transactions on. Database Systems\u00a07(2), 187\u2013208 (1982)","journal-title":"Database Systems"},{"key":"20_CR25","volume-title":"Principles of Database Systems","author":"M. Tamer \u00d6zsu","year":"1999","unstructured":"Tamer \u00d6zsu, M., Valduriez, P.: Principles of Database Systems, 2nd edn. Prentice Hall, Englewood Cliffs (1999)","edition":"2"},{"key":"20_CR26","unstructured":"Ramsey, S., Nummenmaa, J., Thanisch, P., Pooley, R., Gilmore, S.: Interactive simulation of distributed transaction processing commit protocols. In: Luker, P. (ed.) Proceedings of the 3rd Conference of the United Kingdom Simulation Society, Keswick, U.K, April 23-25, pp. 112\u2013127 (1997)"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Ray, I., Bertino, E., Jajodia, S., Mancini, L.: An advanced commit protocol for MLS distributed database systems. In: 3rd ACM Conference on Computer and Communications Security, New Delhi, India, March 14-15, pp. 306\u2013315 (1996)","DOI":"10.1145\/238168.238198"},{"issue":"1","key":"20_CR28","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/TSE.1985.231844","volume":"SE-11","author":"M.K. Sinha","year":"1985","unstructured":"Sinha, M.K., Natarajan, N.: A priority based distributed deadlock detection algorithm. IEEE Transaction on Software Engineering\u00a0SE-11(1), 67\u201380 (1985)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Yeung, C.-F., Hung, S.-L.: A new deadlock detection algorithms for distributed real-time database systems. In: 14th Symposium on Reliable Distributed Systems, Bad Neuenahr, Germany, September 13-15, pp. 146\u2013153 (1995)","DOI":"10.1109\/RELDIS.1995.526222"},{"issue":"3","key":"20_CR30","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/187436.187447","volume":"23","author":"C.-F. Yeung","year":"1994","unstructured":"Yeung, C.-F., Hung, S.-L., Lam, K.-Y.: Performance evaluation of a new distributed deadlock detection algorithm. SIGMOD Record\u00a023(3), 21\u201326 (1994)","journal-title":"SIGMOD Record"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:41Z","timestamp":1620012341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}