The Priority of Rules and the Termination Analysis Using Petri Nets.
Latifa Baba-hamedHafida BelbachirPublished in: Int. Arab J. Inf. Technol. (2007)
Keyphrases
- petri net
- termination analysis
- active rules
- active databases
- abstract interpretation
- petri net model
- discrete event systems
- fuzzy petri net
- integrity constraints
- stochastic petri net
- colored petri nets
- service composition
- programmable logic controller
- object oriented databases
- database technology
- deductive databases
- rule sets
- database systems
- data mining
- neural network