Using Petri nets for rule termination analysis.
Detlef ZimmerAxel MeckenstockRainer UnlandPublished in: DART@CIKM (1996)
Keyphrases
- petri net
- termination analysis
- active databases
- active rules
- abstract interpretation
- petri net model
- discrete event systems
- stochastic petri net
- colored petri nets
- object oriented databases
- integrity constraints
- fuzzy petri net
- database technology
- neural network
- temporal databases
- service composition
- description language
- database
- artificial intelligence
- high dimensional
- information systems
- programmable logic controller