Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling
Joselito Medina-Marín, María Guadalupe Serna-Díaz, Juan Carlos Seck-Tuoh-Mora, Norberto Hernández-Romero, Irving Barragán-Vite, Cinthia Montano-Lara · 2021
research-article Share on Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling Authors: Joselito Medina-Marin Engineering Academic Area, Autonomous University of Hidalgo State, Mexico Engineering Academic Area, Autonomous University of Hidalgo State, MexicoView Profile , Maria Guadalupe Serna-Diaz Autonomous University of Hidalgo State, Mexico Autonomous University of Hidalgo State, MexicoView Profile , Juan C. Seck-Tuoh-Mora Engineering Academic Area, Autonomous University of Hidalgo State, Mexico Engineering Academic Area, Autonomous University of Hidalgo State, MexicoView Profile , Norberto Hernandez-Romero Engineering Academic Area, Autonomous University of Hidalgo State, Mexico Engineering Academic Area, Autonomous University of Hidalgo State, MexicoView Profile , Irving Barragan-Vite Engineering Academic Area, Autonomous University of Hidalgo State, Mexico Engineering Academic Area, Autonomous University of Hidalgo State, MexicoView Profile , Cinthia Montano-Lara Engineering Academic Area, Autonomous University of Hidalgo State, Mexico Engineering Academic Area, Autonomous University of Hidalgo State, MexicoView Profile Authors Info & Claims AISS 2021: 2021 3rd International Conference on Advanced Information Science and System (AISS 2021)November 2021 Article No.: 87Pages 1–7https://doi.org/10.1145/3503047.3503152Online:19 January 2022Publication History 0citation16DownloadsMetricsTotal Citations0Total Downloads16Last 12 Months16Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access