Optimization of Timed Petri Nets using CP-SAT - Lennartson, Bengt (17th IFAC Workshop on Discrete Event Systems, WODES 2024, Rio de Janeiro, Brazil IFAC Proceedings Volumes (IFAC-PapersOnline), 2024)