Timed continuous Petri net systems with infinite server semantics are piecewise linear systems. This paper addresses several problems regarding the state observability of these systems. We assume that the initial marking/state is not known and measuring some places we want to estimate all the others. First, a study of the different linear systems corresponding to a continuous Petri net system is performed. It is shown that in some cases, some of them are redundant, and so can be disregarded. The notion of distinguishable configurations is introduced. It helps to give a necessary and sufficient criterion for the observability in infinitesimal time. Using results from linear structured systems (Commault et al. (2005)), the concept of generic observability is introduced and it is studied in the case of join free nets.
展开▼
