Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling
Authors: 
Joselito Medina-Marin, Maria Guadalupe Serna-Diaz, Juan C. Seck-Tuoh-Mora, Norberto Hernandez-Romero, Irving Barragan-Vite, Cinthia Montano-LaraAuthors Info & Claims
Joselito Medina-Marin, Maria Guadalupe Serna-Diaz, Juan C. Seck-Tuoh-Mora, Norberto Hernandez-Romero, Irving Barragan-Vite, Cinthia Montano-LaraAuthors Info & ClaimsAISS '21: Proceedings of the 3rd International Conference on Advanced Information Science and System
Article No.: 87, Pages 1 - 7
References
[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.
[2]
Latifa Baba-Hamed, and H. Belbachir. 2006. Termination Analysis Approach and Implementation. Journal of Applied Sciences, 6(8), 1738-1744.
[3]
Latifa Baba-hamed, and H. Belbachir. 2007. The Priority of Rules and the Termination Analysis Using Petri Nets. Int. Arab J. Inf. Technol., 4(2), 177-183.
[4]
Manicka Chezian, and T. Devi. 2011. A new algorithm to detect the non-termination of triggers in active databases. International Journal of Advanced Networking and Applications, 3(2), 1098.
[5]
Injun Choi, J. Jung, M. Mannino, and C. Park. 2008. Terminability and compensatibility of cycles in business processes with a process-oriented trigger. Data & Knowledge Engineering, 66(2), 243-263.
[6]
AnnMarie Ericsson. 2009. Enabling tool support for formal analysis of eca rules (Doctoral dissertation, Linköping University Electronic Press).
[7]
AnnMarie Ericsson, and Mikael Berndtsson. 2007. Rex, the rule and event explorer. In Proceedings of the 2007 inaugural international conference on Distributed event-based systems (pp. 71-74).
[8]
Yin Guisheng, L. Qun, Z. Jianpei, L. Jie, and L. Daxin. 1996. Petri based analysis method for active database rules. In 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No. 96CH35929) (Vol. 2, pp. 858-863). IEEE.
[9]
Xiaoqing Jin, Yousra Lembachar, and Gianfranco Ciardo. 2013. Symbolic verification of ECA rules. PNSE+ ModPE, 989, 41-59.
[10]
Xiaoqing Jin, Yousra Lembachar, and Gianfranco Ciardo. 2014. Symbolic termination and confluence checking for ECA rules. In Transactions on Petri Nets and Other Models of Concurrency IX (pp. 99-123). Springer, Berlin, Heidelberg.
[11]
Xiaoou Li, Sergio V. Chapa, Joselito Medina-Marin, and Jovita Cruz. 2004. An application of conditional colored Petri nets: Active database system. In 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No. 04CH37583) (Vol. 5, pp. 4885-4890). IEEE.
[12]
Xiaoou Li, and Joselito Medina-Marin. 2004. Termination analysis in active databases: a Petri net approach. In Proceedings of the International Symposium on Robotics and Automation (ISRA'2004), Querétaro, Mexico (pp. 677-684).
[13]
Xiaoou Li, Sergio V. Chapa, and Joselito Medina-Marin. 2007. Applying Petri nets in active database systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), 37(4), 482-493.
[14]
Tadao Murata. 1989. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580.
[15]
George Papamarkos, Alexandra Poulovassilis, and Peter T. Wood. 2006. Event-condition-action rules on RDF metadata in P2P environments. Computer Networks, 50(10), 1513-1532.
[16]
George Papamarkos, Alexandra Poulovassilis, and Peter T. Wood. (2011). Performance modelling of Event-Condition-Action rules in P2P networks. Journal of Computer and System Sciences, 77(4), 621-636.
[17]
Norma W. Paton, and Oscar Diaz. 1999. Active database systems. ACM Computing Surveys (CSUR), 31(1), 63-103.
[18]
Wang, X., Zhang, L., Dou, W., & Hu, X. (2013). Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules. Information Sciences, 232, 225-240.
Index Terms
- Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling
Index terms have been assigned to the content through auto-classification.
Recommendations
Coverability and Termination in Recursive Petri Nets
Application and Theory of Petri Nets and ConcurrencyAbstractIn the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and ...
Coverability, Termination, and Finiteness in Recursive Petri Nets
Application and Theory of Petri Nets and Concurrency 2019In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-...
Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach
EMS '13: Proceedings of the 2013 European Modelling SymposiumPetri Nets is a family of modeling formalisms, with different interpretations and abstraction levels; the Petri nets family of modeling formalisms includes ordinary Petri Net, generalized Petri Net, and also all other extensions e.g. Colored Petri Net, ...
Comments
Information & Contributors
Information
Published In
November 2021
526 pages
ISBN:9781450385862
DOI:10.1145/3503047
Copyright © 2021 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 19 January 2022
Check for updates
Qualifiers
- Research-article
- Research
- Refereed limited
Funding Sources
Conference
AISS 2021
AISS 2021: 2021 3rd International Conference on Advanced Information Science and System
November 26 - 28, 2021
Sanya, China
Acceptance Rates
Overall Acceptance Rate 41 of 95 submissions, 43%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 30Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Mar 2025
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format