Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.
Nicolas AmatSilvano Dal-ZilioDidier Le BotlanPublished in: VMCAI (1) (2024)
Keyphrases
- petri net
- quantifier elimination
- petri net model
- functional programming
- constraint propagation
- presburger arithmetic
- colored petri nets
- cardinality constraints
- constraint databases
- fuzzy petri net
- service composition
- stochastic petri net
- database
- first order logic
- constraint satisfaction
- software development
- fixed point
- process model
- general purpose
- object oriented
- artificial intelligence
- databases