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 Hernandez-Romero, Irving Barragán-Vite, Cinthia Montano-Lara. Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling. In AISS 2021: 3rd International Conference on Advanced Information Science and System, Sanya, China, November 26 - 28, 2021. ACM, 2021. [doi]

Authors

Joselito Medina Marín

This author has not been identified. Look up 'Joselito Medina Marín' in Google

Maria Guadalupe Serna-Diaz

This author has not been identified. Look up 'Maria Guadalupe Serna-Diaz' in Google

Juan Carlos Seck Tuoh Mora

This author has not been identified. Look up 'Juan Carlos Seck Tuoh Mora' in Google

Norberto Hernandez-Romero

This author has not been identified. Look up 'Norberto Hernandez-Romero' in Google

Irving Barragán-Vite

This author has not been identified. Look up 'Irving Barragán-Vite' in Google

Cinthia Montano-Lara

This author has not been identified. Look up 'Cinthia Montano-Lara' in Google