The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
On Observability in Timed Continuous Petri Net Systems
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
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.
Citation:
Jorge J?lvez, Emilio Jim?nez, Laura Recalde, Manuel Silva, "On Observability in Timed Continuous Petri Net Systems," qest, pp.60-69, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004