A branch and bound approach for the design of decentralized supervisors in Petri net models.
Francesco BasileRoberto CordoneLuigi PiroddiPublished in: Autom. (2015)
Keyphrases
- branch and bound
- petri net
- search algorithm
- branch and bound algorithm
- lower bound
- upper bound
- stochastic petri net
- branch and bound procedure
- search space
- process model
- design process
- web service composition
- column generation
- optimal solution
- complex systems
- sequence diagrams
- service composition
- tree search
- randomly generated problems
- probabilistic model
- expert systems
- beam search
- network design problem
- petri net model
- objective function