Verification of bounded Petri nets using integer programming.
Victor KhomenkoMaciej KoutnyPublished in: Formal Methods Syst. Des. (2007)
Keyphrases
- integer programming
- petri net
- petri net model
- colored petri nets
- concurrent systems
- np hard
- production planning
- linear programming
- column generation
- cutting plane
- discrete event systems
- service composition
- model checking
- integer program
- constraint programming
- ai planning
- cutting plane algorithm
- state machines
- fuzzy petri net
- stochastic petri net
- web service composition
- temporal logic
- low cost
- formal methods
- web services
- integer programming formulations
- evolutionary algorithm