{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:14Z","timestamp":1725456254122},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054092X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018493","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:26:31Z","timestamp":1132727191000},"page":"125-146","source":"Crossref","is-referenced-by-count":6,"title":["Analyzing Ada tasking deadlocks and livelocks using extended Petri nets"],"prefix":"10.1007","author":[{"given":"Jingde","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Kazuo","family":"Ushijima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","first-page":"17","volume":"48","author":"J. Cheng","year":"1988","unstructured":"J. Cheng and K. Ushijima: Modeling the Ada Tasking Using Extended Petri Nets, Memoirs of the Faculty of Engineering, Kyushu University, Vol. 48, No. 1, pp. 17\u201330, 1988.","journal-title":"Kyushu University"},{"issue":"2","key":"8_CR2","first-page":"153","volume":"48","author":"J. Cheng","year":"1988","unstructured":"J. Cheng and K. Ushijima: Analyzing Deadlocks and Livelocks in Concurrent Ada Programs Using Extended Petri Nets, Memoirs of the Faculty of Engineering, Kyushu University, Vol. 48, No. 2, pp. 153\u2013165, 1988.","journal-title":"Kyushu University"},{"issue":"5","key":"8_CR3","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/381837.381846","volume":"10","author":"J. Cheng","year":"1990","unstructured":"J. Cheng: A Classification of Tasking Deadlocks, ACM Ada Letters, Vol. 10, No. 5, pp. 110\u2013127, 1990.","journal-title":"ACM Ada Letters"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"J. Cheng: Task-Wait-For Graphs and Their Application to Handling Tasking Deadlocks, Proc. of the ACM Third Annual TRI-Ada Conference, pp. 376\u2013390, Baltimore, USA, December 1990.","DOI":"10.1145\/255471.255562"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/122037.122040","volume":"11","author":"J. Cheng","year":"1991","unstructured":"J. Cheng: A Survey of Tasking Deadlock Detection Methods, ACM Ada Letters, Vol. 11, No. 1, pp. 82\u201391, 1991.","journal-title":"ACM Ada Letters"},{"key":"8_CR6","unstructured":"United States Department of Defense: Reference Manual for the Ada Programming Language (ANSI\/MIL-STD-1815A), 1983."},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0096-0551(85)90010-4","volume":"10","author":"D. Mandrioli","year":"1985","unstructured":"D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato: Modeling the Ada Task System by Petri Nets, Computer Languages, Vol. 10, No. 1, pp. 43\u201361, 1985.","journal-title":"Computer Languages"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata: Petri Nets: Properties, Analysis, and Applications, Proceedings of the IEEE, Vol. 77, No. 4, pp. 541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T. Murata","year":"1989","unstructured":"T. Murata, B. Shenker, and S. M. Shatz: Detection of Ada Static Deadlocks Using Petri Net Invariants, IEEE Transactions on Software Engineering, Vol. 15, No. 3, pp. 314\u2013326, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR10","unstructured":"J. L. Peterson: Petri Nets Theory and the Modeling of Systems, Prentice-Hall, 1981."},{"issue":"4","key":"8_CR11","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/71.80172","volume":"1","author":"S. M. Shatz","year":"1990","unstructured":"S. M. Shatz, K. Mai, C. Black, and S. Tu: Design and Implementation of a Petri Net-Based Toolkit for Ada Tasking Analysis, IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 4, pp. 424\u2013441, 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"R. Stansifer and D. Marinescu: Petri Net Models of Concurrent Ada Programs, Microelectronics and Reliability, to appear, 1991.","DOI":"10.1016\/0026-2714(91)90004-Q"}],"container-title":["Lecture Notes in Computer Science","Ada: The Choice for '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018493.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:38Z","timestamp":1607550098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054092X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0018493","relation":{},"subject":[]}}