Las redes de Petri continuas (ContPN) temporizadas con semántica de servidores infinitos pueden ser representadas por un sistema lineal conmutado (SLS). Para que un SLS sea observable, cada LS deberá ser observable y además distinguible de cualquier otro LS. Desafortunadamente, el número de LS incrementa exponencialmente con el número de transiciones join de la ContPN, por lo que utilizar la teoría de LS resulta prohibitivo en muchos casos.

Desde el punto de vista geométrico, un LS (A,b,S) es observable ssi ningún subespacio A-invariante está contenido en el kernel de S. Sin embargo, caracterizar todos los subespacios A-invariantes de cada LS es poco viable. En lugar de esto, en el trabajo se caracterizan los subespacios A-invariantes desde la estructura de la red. Con los subespacios A-invariantes, se proponen algoritmos para determinar qué lugares se deben de medir, de manera que se garantice que el sistema sea observable.

Una vez que una ContPN dotada de un conjunto de sensores es observable, se puede diseñar un observador. Se mostrará que para Free Choice ContPN, se puede diseñar un observador Luenberger único, sin importar el número de transiciones join del sistema.