Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling

Autor:	Joselito Medina-Marin, Maria Guadalupe Serna-Diaz, Juan C. Seck-Tuoh-Mora, Norberto Hernandez-Romero, Irving Barragan-Vite, Cinthia Montano-Lara
Rok vydání:	2021
Zdroj:	Proceedings of the 3rd International Conference on Advanced Information Science and System.
DOI:	10.1145/3503047.3503152
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a097397326ee9fb91e021236dbb3ed91 https://doi.org/10.1145/3503047.3503152 Zobrazit plný text záznamu