Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.
Robert ClarisóEnric Rodríguez-CarbonellJordi CortadellaPublished in: ICATPN (2005)
Keyphrases
- petri net
- abstract interpretation
- termination analysis
- petri net model
- static analysis
- discrete event systems
- active rules
- colored petri nets
- service composition
- model checking
- dynamic analysis
- fuzzy petri net
- natural language
- process model
- ims ld
- stochastic petri net
- reasoning engine
- information systems
- active databases
- case study
- integrity constraints
- database systems