New Search Strategies for the Petri Net CEGAR Approach.
Ákos HajduAndrás VörösTamás BarthaPublished in: Petri Nets (2015)
Keyphrases
- search strategies
- petri net
- search strategy
- petri net model
- heuristic search
- retrieval effectiveness
- ims ld
- evolutionary algorithm
- search methods
- search algorithm
- web service composition
- constraint programming
- stochastic petri net
- colored petri nets
- constraint satisfaction
- data structure
- fuzzy petri net
- service composition
- digital libraries
- information retrieval
- story generation
- machine learning
- branch and bound
- high dimensional