Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.
Nicolas AmatSilvano Dal-ZilioDidier Le BotlanPublished in: CoRR (2024)
Keyphrases
- petri net
- quantifier elimination
- petri net model
- constraint propagation
- presburger arithmetic
- first order logic
- colored petri nets
- constraint databases
- functional programming
- transitive closure
- cardinality constraints
- fuzzy petri net
- service composition
- state space
- software development
- expressive power
- production system
- programming language
- ims ld
- database systems
- artificial intelligence