{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:16:17Z","timestamp":1742991377429,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319473635"},{"type":"electronic","value":"9783319473642"}],"license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-47364-2_36","type":"book-chapter","created":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T12:41:56Z","timestamp":1475239316000},"page":"376-385","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Detecting Existence of Cycles in Petri Nets"],"prefix":"10.1007","author":[{"given":"Reggie","family":"Davidrajuh","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,1]]},"reference":[{"unstructured":"GPenSIM V9. User Manual (2016). http:\/\/davidrajuh.net\/gpensim\/","key":"36_CR1"},{"key":"36_CR2","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen, T.H.: Introduction to algorithms. MIT Press, Cambridge (2009)"},{"issue":"1973","key":"36_CR3","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1137\/0202017","volume":"2","author":"R Tarjan","year":"1973","unstructured":"Tarjan, R.: Enumeration of the elementary circuits of a directed graph. SIAM J. Comput. 2(1973), 211\u2013216 (1973)","journal-title":"SIAM J. Comput."},{"issue":"1970","key":"36_CR4","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1145\/362814.362819","volume":"13","author":"JC Teirnan","year":"1970","unstructured":"Teirnan, J.C.: An efficient search algorithm to find the elementary circuits of a graph. Commun. ACM 13(1970), 722\u2013726 (1970)","journal-title":"Commun. ACM"},{"issue":"1","key":"36_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1137\/0204007","volume":"4","author":"DB Johnson","year":"1975","unstructured":"Johnson, D.B.: Finding all the elementary circuits of a directed graph. SIAM J. Comput. 4(1), 77\u201384 (1975)","journal-title":"SIAM J. Comput."},{"key":"36_CR6","volume-title":"Modeling and Control of Discrete-event Dynamic Systems","author":"B Hruz","year":"2007","unstructured":"Hruz, B., Zhou, M.C.: Modeling and Control of Discrete-event Dynamic Systems. Springer, Heidelberg (2007)"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1109\/9.280791","volume":"39","author":"T Yamada","year":"1994","unstructured":"Yamada, T., Kataoka, S.: On some LP problems for performance evaluation of timed marked graphs. IEEE Trans. Autom. Control 39, 696\u2013698 (1994)","journal-title":"IEEE Trans. Autom. Control"},{"unstructured":"GPenSIM code for Job Scheduling in Grid Computing: http:\/\/www.davidrajuh.net\/gpensim\/2016-SOCO-Cycle-Detection","key":"36_CR8"},{"doi-asserted-by":"crossref","unstructured":"Davidrajuh, R.: Developing a new petri net tool for simulation of discrete event systems. In: Proceedings of the Second Asia International Conference on Modeling & Simulation (AMS), pp. 861\u2013866. IEEE (2008)","key":"36_CR9","DOI":"10.1109\/AMS.2008.13"},{"doi-asserted-by":"crossref","unstructured":"Bulu\u00e7, A., Gilbert, J.R., Shah, V.B.: Implementing sparse matrices for graph algorithms. In: Graph Algorithms in the Language of Linear Algebra, pp. 22, 287 (2011)","key":"36_CR10","DOI":"10.1137\/1.9780898719918.ch13"},{"doi-asserted-by":"crossref","unstructured":"Bulu\u00e7, A., and Gilbert, J. R.: New ideas in sparse matrix-matrix multiplication. In: Graph Algorithms in the Language of Linear Algebra, pp. 22, 315 (2011)","key":"36_CR11","DOI":"10.1137\/1.9780898719918.ch14"},{"issue":"5","key":"36_CR12","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MSP.2014.2327238","volume":"31","author":"K Slavakis","year":"2014","unstructured":"Slavakis, K., Giannakis, G.B., Mateos, G.: Modeling and optimization for big data analytics: (statistical) learning tools for our era of data deluge. IEEE Signal Process. Mag. 31(5), 18\u201331 (2014)","journal-title":"IEEE Signal Process. Mag."}],"container-title":["Advances in Intelligent Systems and Computing","International Joint Conference SOCO\u201916-CISIS\u201916-ICEUTE\u201916"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47364-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T02:09:55Z","timestamp":1699841395000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-47364-2_36"}},"subtitle":["An Algorithm that Computes Non-redundant (Nonzero) Parts of Sparse Adjacency Matrix"],"short-title":[],"issued":{"date-parts":[[2016,10,1]]},"ISBN":["9783319473635","9783319473642"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47364-2_36","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016,10,1]]},"assertion":[{"value":"1 October 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICEUTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on EUropean Transnational Education","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"San Sebasti\u00e1n","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iceute2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}