{"id":"https://openalex.org/W4206032285","doi":"https://doi.org/10.1145/3503047.3503152","title":"Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling","display_name":"Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling","publication_year":2021,"publication_date":"2021-11-26","ids":{"openalex":"https://openalex.org/W4206032285","doi":"https://doi.org/10.1145/3503047.3503152"},"language":"en","primary_location":{"id":"doi:10.1145/3503047.3503152","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503047.3503152","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Conference on Advanced Information Science and System","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090497959","display_name":"Joselito Medina-Mar\u00edn","orcid":"https://orcid.org/0000-0003-0937-8707"},"institutions":[{"id":"https://openalex.org/I104854061","display_name":"Universidad Aut\u00f3noma del Estado de Hidalgo","ror":"https://ror.org/031f8kt38","country_code":"MX","type":"education","lineage":["https://openalex.org/I104854061"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Joselito Medina-Marin","raw_affiliation_strings":["Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico","institution_ids":["https://openalex.org/I104854061"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064414720","display_name":"Mar\u00eda Guadalupe Serna-D\u00edaz","orcid":"https://orcid.org/0000-0002-2846-6908"},"institutions":[{"id":"https://openalex.org/I104854061","display_name":"Universidad Aut\u00f3noma del Estado de Hidalgo","ror":"https://ror.org/031f8kt38","country_code":"MX","type":"education","lineage":["https://openalex.org/I104854061"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Maria Guadalupe Serna-Diaz","raw_affiliation_strings":["Autonomous University of Hidalgo State, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Autonomous University of Hidalgo State, Mexico","institution_ids":["https://openalex.org/I104854061"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086090662","display_name":"Juan Carlos Seck-Tuoh-Mora","orcid":"https://orcid.org/0000-0003-3678-1120"},"institutions":[{"id":"https://openalex.org/I104854061","display_name":"Universidad Aut\u00f3noma del Estado de Hidalgo","ror":"https://ror.org/031f8kt38","country_code":"MX","type":"education","lineage":["https://openalex.org/I104854061"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Juan C. Seck-Tuoh-Mora","raw_affiliation_strings":["Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico","institution_ids":["https://openalex.org/I104854061"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091562464","display_name":"Norberto Hern\u00e1ndez-Romero","orcid":"https://orcid.org/0000-0001-9942-306X"},"institutions":[{"id":"https://openalex.org/I104854061","display_name":"Universidad Aut\u00f3noma del Estado de Hidalgo","ror":"https://ror.org/031f8kt38","country_code":"MX","type":"education","lineage":["https://openalex.org/I104854061"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Norberto Hernandez-Romero","raw_affiliation_strings":["Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico","institution_ids":["https://openalex.org/I104854061"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011373053","display_name":"Irving Barrag\u00e1n-Vite","orcid":"https://orcid.org/0000-0002-3625-6943"},"institutions":[{"id":"https://openalex.org/I104854061","display_name":"Universidad Aut\u00f3noma del Estado de Hidalgo","ror":"https://ror.org/031f8kt38","country_code":"MX","type":"education","lineage":["https://openalex.org/I104854061"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Irving Barragan-Vite","raw_affiliation_strings":["Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico","institution_ids":["https://openalex.org/I104854061"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049416750","display_name":"Cinthia Montano-Lara","orcid":null},"institutions":[{"id":"https://openalex.org/I104854061","display_name":"Universidad Aut\u00f3noma del Estado de Hidalgo","ror":"https://ror.org/031f8kt38","country_code":"MX","type":"education","lineage":["https://openalex.org/I104854061"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Cinthia Montano-Lara","raw_affiliation_strings":["Engineering Academic Area, Autonomous University of Hidalgo State, Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Academic Area, Autonomous University of Hidalgo State, Mexico","institution_ids":["https://openalex.org/I104854061"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I104854061"],"apc_list":null,"apc_paid":null,"fwci":0.4048,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57673119,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.5960184931755066},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5593356490135193},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.438656747341156},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37682870030403137}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.5960184931755066},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5593356490135193},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.438656747341156},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37682870030403137},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3503047.3503152","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503047.3503152","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Conference on Advanced Information Science and System","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2856774783","display_name":null,"funder_award_id":"A1-S-43008","funder_id":"https://openalex.org/F4320321739","funder_display_name":"Consejo Nacional de Ciencia y Tecnolog\u00eda"}],"funders":[{"id":"https://openalex.org/F4320321739","display_name":"Consejo Nacional de Ciencia y Tecnolog\u00eda","ror":"https://ror.org/059ex5q34"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1969573861","https://openalex.org/W1995478677","https://openalex.org/W1996109622","https://openalex.org/W2055776961","https://openalex.org/W2055982210","https://openalex.org/W2056539022","https://openalex.org/W2072775482","https://openalex.org/W2127767920","https://openalex.org/W2140393476","https://openalex.org/W2171697358","https://openalex.org/W2331063328","https://openalex.org/W4240720153"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"research-article":[0],"Share":[1],"on":[2,156,213],"Static":[3],"Analysis":[4],"for":[5],"the":[6,214],"No":[7],"Termination":[8],"Problem":[9],"in":[10,222],"Active":[11],"Databases":[12],"by":[13],"Using":[14],"Petri":[15],"Nets":[16],"Modelling":[17],"Authors:":[18],"Joselito":[19],"Medina-Marin":[20],"Engineering":[21,30,61,70,83,92,105,114,127,136],"Academic":[22,31,62,71,84,93,106,115,128,137],"Area,":[23,32,63,72,85,94,107,116,129,138],"Autonomous":[24,33,44,50,64,73,86,95,108,117,130,139],"University":[25,34,45,51,65,74,87,96,109,118,131,140],"of":[26,35,46,52,66,75,88,97,110,119,132,141],"Hidalgo":[27,36,47,53,67,76,89,98,111,120,133,142],"State,":[28,37,48,54,68,77,90,99,112,121,134,143],"Mexico":[29,49,69,91,113,135],"MexicoView":[38,55,78,100,122,144],"Profile":[39,56,79,101,123,145],",":[40,57,80,102,124],"Maria":[41],"Guadalupe":[42],"Serna-Diaz":[43],"Juan":[58],"C.":[59],"Seck-Tuoh-Mora":[60],"Norberto":[81],"Hernandez-Romero":[82],"Irving":[103],"Barragan-Vite":[104],"Cinthia":[125],"Montano-Lara":[126],"Authors":[146],"Info":[147],"&":[148],"Claims":[149],"AISS":[150],"2021:":[151],"2021":[152,164],"3rd":[153],"International":[154],"Conference":[155],"Advanced":[157],"Information":[158],"Science":[159],"and":[160,190],"System":[161],"(AISS":[162],"2021)November":[163],"Article":[165],"No.:":[166],"87Pages":[167],"1\u20137https://doi.org/10.1145/3503047.3503152Online:19":[168],"January":[169],"2022Publication":[170],"History":[171],"0citation16DownloadsMetricsTotal":[172],"Citations0Total":[173],"Downloads16Last":[174],"12":[175],"Months16Last":[176],"6":[177],"weeks3":[178],"Get":[179],"Citation":[180,182,219],"AlertsNew":[181,218],"Alert":[183],"added!This":[184],"alert":[185,210],"has":[186,205],"been":[187,206],"successfully":[188],"added":[189],"will":[191,195],"be":[192,196],"sent":[193],"to:You":[194],"notified":[197],"whenever":[198],"a":[199,231],"record":[200],"that":[201],"you":[202],"have":[203],"chosen":[204],"cited.To":[207],"manage":[208],"your":[209,224],"preferences,":[211],"click":[212],"button":[215],"below.Manage":[216],"my":[217],"Alert!Please":[220],"log":[221],"to":[223,227,229],"account":[225],"Save":[226],"BinderSave":[228],"BinderCreate":[230],"New":[232],"BinderNameCancelCreateExport":[233],"CitationPublisher":[234],"SiteGet":[235],"Access":[236]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}