Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström. Optimization of hybrid Petri nets with shared variables. In IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, August 24-28, 2015. pages 1395-1396, IEEE, 2015. [doi]
Abstract is missing.