{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:04:02Z","timestamp":1725732242566},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386961"},{"type":"electronic","value":"9783642386978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38697-8_2","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T01:48:46Z","timestamp":1371606526000},"page":"21-28","source":"Crossref","is-referenced-by-count":3,"title":["Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Lafortune","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. Wiley (2004)","DOI":"10.1002\/047166880X"},{"key":"2_CR2","unstructured":"Wallace, C., Jensen, P., Soparkar, N.: Supervisory control of workflow scheduling. In: Proc. International Workshop on Advanced Transaction Models and Architectures (1996)"},{"issue":"9","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1187","DOI":"10.1109\/TC.2004.67","volume":"53","author":"V.V. Phoha","year":"2004","unstructured":"Phoha, V.V., Nadgar, A.U., Ray, A., Phoha, S.: Supervisory control of software systems. IEEE Transactions on Computers\u00a053(9), 1187\u20131199 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR4","unstructured":"Liu, C., Kondratyev, A., Watanabe, Y., Desel, J., Sangiovanni-Vincentelli, A.: Schedulability analysis of Petri nets based on structural properties. In: Proc. International Conference on Application of Concurrency to System Design (2006)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Wang, Y., Kelly, T., Lafortune, S.: Discrete control for safe execution of IT automation workflows. In: Proc. ACM EuroSys Conference (2007)","DOI":"10.1145\/1272996.1273028"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Dragert, C., Dingel, J., Rudie, K.: Generation of concurrency control code using discrete-event systems theory. In: Proc. ACM International Symposium on Foundations of Software Engineering (2008)","DOI":"10.1145\/1453101.1453122"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Auer, A., Dingel, J., Rudie, K.: Concurrency control generation for dynamic threads using discrete-event systems. In: Proc. Allerton Conference on Communication, Control and Computing (2009)","DOI":"10.1109\/ALLERTON.2009.5394896"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Gamatie, A., Yu, H., Delaval, G., Rutten, E.: A case study on controller synthesis for data-intensive embedded system. In: Proc. International Conference on Embedded Software and Systems (2009)","DOI":"10.1109\/ICESS.2009.12"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Iordache, M.V., Antsaklis, P.J.: Concurrent program synthesis based on supervisory control. In: Proc. 2010 American Control Conference, pp. 3378\u20133383 (2010)","DOI":"10.1109\/ACC.2010.5530904"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. In: Proc. ACM Conference on Languages, Compilers and Tools for Embedded Systems (2010)","DOI":"10.1145\/1755888.1755898"},{"key":"2_CR11","unstructured":"Gadara Team: Gadara project, \n                    \n                      http:\/\/gadara.eecs.umich.edu\/"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim.\u00a025(1) (1987)","DOI":"10.1137\/0325013"},{"key":"2_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory Control of Discrete Event Systems Using Petri Nets","author":"J.O. Moody","year":"1998","unstructured":"Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Boston (1998)"},{"issue":"12","key":"2_CR14","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2009.391","volume":"42","author":"T. Kelly","year":"2009","unstructured":"Kelly, T., Wang, Y., Lafortune, S., Mahlke, S.: Eliminating concurrency bugs with control engineering. IEEE Computer\u00a042(12), 52\u201360 (2009)","journal-title":"IEEE Computer"},{"key":"2_CR15","unstructured":"Wang, Y., Kelly, T., Kudlur, M., Lafortune, S., Mahlke, S.A.: Gadara: Dynamic deadlock avoidance for multithreaded programs. In: Proc. the 8th USENIX Symposium on Operating Systems Design and Implementation, 281\u2013294 (2008)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.: The theory of deadlock avoidance via discrete control. In: Proc. the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 252\u2013263 (2009)","DOI":"10.1145\/1480881.1480913"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Liu, P., Zhang, C.: Axis: Automatically fixing atomicity violations through solving control constraints. In: International Conference on Software Engineering (2012)","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Wang, Y., Liu, P., Kelly, T., Lafortune, S., Reveliotis, S., Zhang, C.: On atomicity enforcement in concurrent software via discrete event systems theory. In: Proc. the 51st IEEE Conference and Decision and Control (2012)","DOI":"10.1109\/CDC.2012.6426112"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","volume":"38","author":"Z. Li","year":"2008","unstructured":"Li, Z., Zhou, M., Wu, N.: A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics\u2014Part C\u00a038(2), 173\u2013188 (2008)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics\u2014Part C"},{"key":"2_CR20","volume-title":"Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach","author":"S.A. Reveliotis","year":"2005","unstructured":"Reveliotis, S.A.: Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach. Springer, New York (2005)"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"5","key":"2_CR22","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1019917329895","volume":"35","author":"K.M. Kavi","year":"2002","unstructured":"Kavi, K.M., Moshtaghi, A., Chen, D.: Modeling multithreaded applications using Petri nets. International Journal of Parallel Programming\u00a035(5), 353\u2013371 (2002)","journal-title":"International Journal of Parallel Programming"},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T. Murata","year":"1989","unstructured":"Murata, T., Shenker, B., Shatz, S.M.: Detection of Ada static deadlocks using Petri net invariants. IEEE Transactions on Software Engineering\u00a015(3), 314\u2013326 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR24","unstructured":"Iordache, M.V., Antsaklis, P.J.: Petri nets and programming: A survey. In: Proc, American Control Conference, 4994\u20134999 (2009)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Engler, D., Ashcraft, K.: RacerX: Effective, static detection of race conditions and deadlocks. In: Proc. 19th ACM Symposium on Operating Systems Principles (2003)","DOI":"10.1145\/945465.945468"},{"key":"2_CR26","unstructured":"Cho, H.K., Wang, Y., Liao, H., Kelly, T., Lafortune, S., Mahlke, S.: Practical lock\/unlock pairing for concurrent programs. In: Proc. 2013 International Symposium on Code Generation and Optimization, CGO 2013 (February 2013)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Liao, H., Wang, Y., Cho, H.K., Stanley, J., Kelly, T., Lafortune, S., Mahlke, S., Reveliotis, S.: Concurrency bugs in multithreaded software: Modeling and analysis using Petri nets. Discrete Event Dynamic Systems: Theory & Applications\u00a023 (2013) (published online May 2012)","DOI":"10.1007\/s10626-012-0139-x"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Cano, E.E., Rovetto, C.A., Colom, J.M.: An algorithm to compute the minimal siphons in S\n                  4\n                  PR nets. In: Proc. International Workshop on Discrete Event Systems, pp. 18\u201323 (2010)","DOI":"10.3182\/20100830-3-DE-4013.00005"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2008)","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"8","key":"2_CR30","doi-asserted-by":"publisher","first-page":"1818","DOI":"10.1109\/TAC.2010.2095612","volume":"56","author":"A. Nazeem","year":"2011","unstructured":"Nazeem, A., Reveliotis, S., Wang, Y., Lafortune, S.: Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case. IEEE Transactions on Automatic Control\u00a056(8), 1818\u20131833 (2011)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Liao, H., Lafortune, S., Reveliotis, S., Wang, Y., Mahlke, S.: Optimal liveness-enforcing control of a class of petri nets arising in multithreaded software. IEEE Transactions on Automatic Control\u00a058(5) (2013)","DOI":"10.1109\/TAC.2012.2230814"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Liao, H., Wang, Y., Stanley, J., Lafortune, S., Reveliotis, S., Kelly, T., Mahlke, S.: Eliminating concurrency bugs in multithreaded software: A new approach based on discrete-event control. IEEE Transactions on Control Systems Technology (2013) (published online January 2013)","DOI":"10.1109\/TCST.2012.2226034"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Nazeem, A., Reveliotis, S.: Maximally permissive deadlock avoidance for resource allocation systems with r\/w-locks. In: Proc. the 11th International Workshop on Discrete Event Systems (2012)","DOI":"10.3182\/20121003-3-MX-4033.00047"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38697-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T08:08:45Z","timestamp":1557821325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38697-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386961","9783642386978"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38697-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}