1 paper
Didier Lime, Olivier H. Roux, Charlotte Seidner
We investigate the problem of parameter synthesis for time Petri nets with a cost variable that evolves both continuously with time, and discretely when firing transitions. More pr…