"Optimization of hybrid Petri nets with shared variables."

Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics