Input-output relation and time-optimal control of a class of hybrid Petri nets using \((\min, +)\) semiring (Q5930252)

The authors investigate the extension of results on the input-output representation and time-optimal control for timed event graphs to a class of hybrid Petri nets. Their method is based on using the \((\min,+)\) semiring for the discrete approximation of hybrid Petri nets. In some cases a linear input-output representation with a transfer matrix is obtained after a diagonal change of counting units. If the hybrid Petri net has the structure of an event graph then the method of discrete approximations gives the expansible timed event graph with multipliers. If the input-output relation is linear then a direct application of the residuation theory gives the time-optimal control.