{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:34:22Z","timestamp":1725888862132},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319594149"},{"type":"electronic","value":"9783319594156"}],"license":[{"start":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T00:00:00Z","timestamp":1496188800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-59415-6_12","type":"book-chapter","created":{"date-parts":[[2017,5,30]],"date-time":"2017-05-30T04:42:30Z","timestamp":1496119350000},"page":"118-130","source":"Crossref","is-referenced-by-count":2,"title":["Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets"],"prefix":"10.1007","author":[{"given":"Wiktor B.","family":"Daszczuk","sequence":"first","affiliation":[]},{"given":"Wlodek M.","family":"Zuberek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,31]]},"reference":[{"issue":"4","key":"12_CR1","first-page":"261","volume":"18","author":"S Chrobot","year":"2006","unstructured":"Chrobot, S., Daszczuk, W.B.: Communication dualism in distributed systems with Petri net interpretation. Theor. Appl. Inform. 18(4), 261\u2013278 (2006)","journal-title":"Theor. Appl. Inform."},{"key":"12_CR2","unstructured":"Daszczuk, W.B.: Deadlock and termination detection using IMDS formalism and model checking, Version 2. ICS WUT Research Report No. 2\/2008 (2008)"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Daszczuk, W.B.: Communication and resource deadlock analysis using IMDS formalism and model checking. Comput. J. (2016) (in press). doi:\n10.1093\/comjnl\/bxw099","DOI":"10.1093\/comjnl\/bxw099"},{"key":"12_CR4","isbn-type":"print","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999). ISBN 0-262-03270-8","ISBN":"http:\/\/id.crossref.org\/isbn\/0262032708"},{"key":"12_CR5","unstructured":"Dedan. \nhttp:\/\/staff.ii.pw.edu.pl\/dedan\/files\/DedAn.zip"},{"key":"12_CR6","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets - An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets - An Introduction. Springer, Heidelberg (1985). ISBN 978-3-642-69970-2","ISBN":"http:\/\/id.crossref.org\/isbn\/9783642699702"},{"key":"12_CR7","unstructured":"Craig, D.C., Zuberek, W.M.: Two-stage siphon-based deadlock detection in Petri nets. In: Petratos, P., Dandapami, P. (eds.) Current Advances in Computing, Engineering and Information Technology, pp. 317\u2013330. International Society for Advanced Research, Palermo, Italy (2008). ISBN 978\u2013960-6672-34-7"},{"issue":"6","key":"12_CR8","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu, F., Xie, X.-L.: Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13(6), 793\u2013804 (1997). doi:\n10.1109\/70.650158","journal-title":"IEEE Trans. Robot. Autom."},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Reniers, M.A., Willemse, T.A.C.: Folk theorems on the correspondence between state-based and event-based systems. In: \u010cern\u00e1 I. et al.  (ed.) 37th Conference on Current Trends in Theory and Practice of Computer Science, Nov\u00fd Smokovec, Slovakia, 22\u201328 January 2011, pp. 494\u2013505. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-18381-2_41","DOI":"10.1007\/978-3-642-18381-2_41"},{"issue":"1\u20136","key":"12_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.3233\/FI-2000-43123413","volume":"43","author":"W Penczek","year":"2000","unstructured":"Penczek, W., Szreter, M., Gerth, R., Kuiper, R.: Improving partial order reductions for universal branching time properties. Fundam. Informaticae 43(1\u20136), 245\u2013267 (2000). doi:\n10.3233\/FI-2000-43123413","journal-title":"Fundam. Informaticae"},{"issue":"6","key":"12_CR11","first-page":"1294","volume":"17","author":"B Czejdo","year":"2016","unstructured":"Czejdo, B., Bhattacharya, S., Baszun, M., Daszczuk, W.B.: Improving resilience of autonomous moving platforms by real-time analysis of their cooperation. Autobusy-TEST 17(6), 1294\u20131301 (2016)","journal-title":"Autobusy-TEST"},{"key":"12_CR12","unstructured":"Charlie: Charlie Petri net analyzer. \nhttp:\/\/www-dssz.informatik.tu-cottbus.de\/DSSZ\/Software\/Charlie"},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Heiner, M., Schwarick, M., Wegener, J.-T.: Charlie \u2013 an extensible Petri net analysis tool. In: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, 21\u201326 June 2015, pp. 200\u2013211. Springer, Cham (2015). doi:\u00a0\n10.1007\/978-3-319-19488-2_10","DOI":"10.1007\/978-3-319-19488-2_10"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Schwarick, M., Heiner, M., Rohr, C.: MARCIE - model checking and reachability analysis done efficiently. In: 2011 Eighth International Conference on Quantitative Evaluation of Systems, Aachen, Germany, 5\u20138 September 2011, pp. 91\u2013100. IEEE, Los Angeles, CA (2011). doi:\n10.1109\/QEST.2011.19","DOI":"10.1109\/QEST.2011.19"},{"key":"12_CR15","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal 4.0. Report, University of Aalborg, Denmark (2006)"}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Dependability Engineering of Complex Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59415-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,30]],"date-time":"2017-05-30T04:45:13Z","timestamp":1496119513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59415-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,31]]},"ISBN":["9783319594149","9783319594156"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59415-6_12","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,5,31]]}}}