Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling. - Joselito Medina-Marín; Maria Guadalupe Serna-Diaz; Juan Carlos Seck Tuoh Mora; Norberto Hernández-Romero; Irving Barragán-Vite; Cinthia Montano-Lara (AISS, 2021)