Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Continuization of timed petri nets: from performance evaluation to observation and control
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
| Hi-index | 0.00 |
Fluidification is a classical relaxation technique for approximated performance evaluation of discrete systems. In this paper we deal with T-timed fully continuous Petri Nets working under infinite servers semantics, what leads to (deterministic) piecewise linear differential systems. Switches among dynamic linear systems are triggered by internal events through minimum operators on marking variables. The observability problem consists of estimating the (initial) marking from a partial measure. This paper is devoted to observability concepts and criteria in this particular class of systems, not to the observers design. The concept of structural observability, regarding to the possibility of estimating the marking of places for any speed of the transitions is introduced and studied for the subclass of Join-Free Petri Nets (JF). For non Join-Free Petri Nets, conditions to compute suitable estimates will be established.