{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:30Z","timestamp":1750220250485,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T00:00:00Z","timestamp":1637884800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003141","name":"Consejo Nacional de Ciencia y Tecnolog\u00eda","doi-asserted-by":"publisher","award":["A1-S-43008"],"award-info":[{"award-number":["A1-S-43008"]}],"id":[{"id":"10.13039\/501100003141","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,26]]},"DOI":"10.1145\/3503047.3503152","type":"proceedings-article","created":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T23:32:51Z","timestamp":1642635171000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling"],"prefix":"10.1145","author":[{"given":"Joselito","family":"Medina-Marin","sequence":"first","affiliation":[{"name":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Guadalupe Serna-Diaz","sequence":"additional","affiliation":[{"name":"Autonomous University of Hidalgo State, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan C.","family":"Seck-Tuoh-Mora","sequence":"additional","affiliation":[{"name":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norberto","family":"Hernandez-Romero","sequence":"additional","affiliation":[{"name":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irving","family":"Barragan-Vite","sequence":"additional","affiliation":[{"name":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cinthia","family":"Montano-Lara","sequence":"additional","affiliation":[{"name":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"3540","volume-title":"Rules Termination Analysis Based on Petri Nets: Implementation Issues. In 2006 2nd International Conference on Information & Communication Technologies (Vol. 2","author":"Baba-Hamed Latifa","year":"2006","unstructured":"Latifa Baba-Hamed . 2006 . Rules Termination Analysis Based on Petri Nets: Implementation Issues. In 2006 2nd International Conference on Information & Communication Technologies (Vol. 2 , pp. 3540 - 3545 ). IEEE. Latifa Baba-Hamed. 2006. Rules Termination Analysis Based on Petri Nets: Implementation Issues. In 2006 2nd International Conference on Information & Communication Technologies (Vol. 2, pp. 3540-3545). IEEE."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3923\/jas.2006.1738.1744"},{"issue":"2","key":"e_1_3_2_1_3_1","first-page":"177","article-title":"The Priority of Rules and the Termination Analysis Using Petri","volume":"4","author":"Latifa","year":"2007","unstructured":"Latifa Baba-hamed, and H. Belbachir . 2007 . The Priority of Rules and the Termination Analysis Using Petri Nets. Int. Arab J. Inf. Technol. , 4 ( 2 ), 177 - 183 . Latifa Baba-hamed, and H. Belbachir. 2007. The Priority of Rules and the Termination Analysis Using Petri Nets. Int. Arab J. Inf. Technol., 4(2), 177-183.","journal-title":"Nets. Int. Arab J. Inf. Technol."},{"issue":"2","key":"e_1_3_2_1_4_1","first-page":"1098","article-title":"A new algorithm to detect the non-termination of triggers in active databases","volume":"3","author":"Chezian Manicka","year":"2011","unstructured":"Manicka Chezian , and T. Devi . 2011 . A new algorithm to detect the non-termination of triggers in active databases . International Journal of Advanced Networking and Applications , 3 ( 2 ), 1098 . Manicka Chezian, and T. Devi. 2011. A new algorithm to detect the non-termination of triggers in active databases. International Journal of Advanced Networking and Applications, 3(2), 1098.","journal-title":"International Journal of Advanced Networking and Applications"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2008.03.002"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1266894.1266906"},{"key":"e_1_3_2_1_8_1","first-page":"858","volume-title":"1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No. 96CH35929)","author":"Guisheng Yin","unstructured":"Yin Guisheng , L. Qun , Z.. Jianpei, L. Jie , and L. Daxin . 1996. Petri based analysis method for active database rules . In 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No. 96CH35929) (Vol. 2, pp. 858 - 863 ). IEEE. Yin Guisheng, L. Qun, Z.. Jianpei, L. Jie, and L. Daxin. 1996. Petri based analysis method for active database rules. In 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No. 96CH35929) (Vol. 2, pp. 858-863). IEEE."},{"key":"e_1_3_2_1_9_1","unstructured":"Xiaoqing Jin Yousra Lembachar and Gianfranco Ciardo. 2013. Symbolic verification of ECA rules. PNSE+ ModPE 989 41-59.  Xiaoqing Jin Yousra Lembachar and Gianfranco Ciardo. 2013. Symbolic verification of ECA rules. PNSE+ ModPE 989 41-59."},{"volume-title":"Transactions on Petri Nets and Other Models of Concurrency IX (pp. 99-123)","author":"Jin Xiaoqing","key":"e_1_3_2_1_10_1","unstructured":"Xiaoqing Jin , Yousra Lembachar , and Gianfranco Ciardo . 2014. Symbolic termination and confluence checking for ECA rules . In Transactions on Petri Nets and Other Models of Concurrency IX (pp. 99-123) . Springer , Berlin, Heidelberg . Xiaoqing Jin, Yousra Lembachar, and Gianfranco Ciardo. 2014. Symbolic termination and confluence checking for ECA rules. In Transactions on Petri Nets and Other Models of Concurrency IX (pp. 99-123). Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1401305"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the International Symposium on Robotics and Automation (ISRA'2004)","author":"Li Xiaoou","year":"2004","unstructured":"Xiaoou Li , and Joselito Medina-Marin . 2004 . Termination analysis in active databases: a Petri net approach . In Proceedings of the International Symposium on Robotics and Automation (ISRA'2004) , Quer\u00e9taro, Mexico (pp. 677-684). Xiaoou Li, and Joselito Medina-Marin. 2004. Termination analysis in active databases: a Petri net approach. In Proceedings of the International Symposium on Robotics and Automation (ISRA'2004), Quer\u00e9taro, Mexico (pp. 677-684)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897329"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2005.10.022"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2010.02.004"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/311531.311623"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.12.030"}],"event":{"name":"AISS 2021: 2021 3rd International Conference on Advanced Information Science and System","acronym":"AISS 2021","location":"Sanya China"},"container-title":["Proceedings of the 3rd International Conference on Advanced Information Science and System"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503047.3503152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503047.3503152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:39Z","timestamp":1750188639000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503047.3503152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,26]]},"references-count":17,"alternative-id":["10.1145\/3503047.3503152","10.1145\/3503047"],"URL":"https:\/\/doi.org\/10.1145\/3503047.3503152","relation":{},"subject":[],"published":{"date-parts":[[2021,11,26]]},"assertion":[{"value":"2022-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}