-
Guaranteed models and computations for (min,+)-linear systems
This thesis deals with uncertain (min,+)-linear systems contained in intervals, the bounds of which are known. First, as exact computations - sum, inf-convolution,... -
Liveness in Weighted Routed Nets
In this paper, we present an algorithm to check liveness of weighted routed nets. This novel method is based on the total number of event equations for each single... -
Liveness in Free-Choice Petri Nets : An Algebraic Approach
In this paper, we show that the evolution equations for timed free choice Petri net can be used to prove logical properties of the underlying un-timed net. For... -
Structural, temporal and stochastic properties of unbounded free-choice Petri...
In this paper, we show how a decomposition of a free choice Petri net into a ``routing'' network and marked graph subnetworks (i.e. linear subnetworks in the $[\max,... -
Finding a Maximum Stable Flow in a Multi-agent Network with Controllable Capa...
International audience
