14 citations · 37 across the 13 of their papers we have counts for
1 paper · 1 filter
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…