Bengt Lennartson

Optimization based on timed Petri nets using CP-SAT - an integrated SAT and CP solver

Abstract A simple but general semantics for timed Petri nets is presented in this paper. Based on this semantics, an optimization formulation is introduced and implemented in a recently developed optimization solver, where a satisfiability (SAT) solver is integrated with constrai...