Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling-Reference-Cited by-同舟云学术

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

Published:2021-11-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 3rd International Conference on Advanced Information Science and System
language:
Short-container-title:

Author:

Medina-Marin Joselito¹,Guadalupe Serna-Diaz Maria²,Seck-Tuoh-Mora Juan C.¹,Hernandez-Romero Norberto¹,Barragan-Vite Irving¹,Montano-Lara Cinthia¹

Affiliation:

1. Engineering Academic Area, Autonomous University of Hidalgo State, Mexico

2. Autonomous University of Hidalgo State, Mexico

Funder

Consejo Nacional de Ciencia y Tecnología

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3503047.3503152

Reference17 articles.

1. Latifa Baba-Hamed . 2006 . Rules Termination Analysis Based on Petri Nets: Implementation Issues. In 2006 2nd International Conference on Information & Communication Technologies (Vol. 2 , pp. 3540 - 3545 ). IEEE. Latifa Baba-Hamed. 2006. Rules Termination Analysis Based on Petri Nets: Implementation Issues. In 2006 2nd International Conference on Information & Communication Technologies (Vol. 2, pp. 3540-3545). IEEE.

2. Termination Analysis Approach and Implementation

3. The Priority of Rules and the Termination Analysis Using Petri;Latifa;Nets. Int. Arab J. Inf. Technol.,2007

4. A new algorithm to detect the non-termination of triggers in active databases;Chezian Manicka;International Journal of Advanced Networking and Applications,2011

5. Terminability and compensatibility of cycles in business processes with a process-oriented trigger

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Construction and Application of Digital Twin Cloud Platform for Rebar Straight Thread Processing Line;Proceedings of the 2023 International Conference on Artificial Intelligence, Systems and Network Security;2023-12-22