ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 11:00 - 11:45 at S10 - Timed systems

In this talk, we consider parameterised versions of the jobshop scheduling problem where a parameterised number of jobs have to complete a sequence of actions some of which are mutually exclusive. The cost of completing the jobs is the total time the jobs spend. We show that in the some cases the parameterised cost function is semilinear and can be computed by using Petri Net techniques.

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:00: SynCoP - Timed systems at S10
syncop-2019-papers11:00 - 11:45