State observer for DES under partial observation with time Petri nets
scientific article; zbMATH DE number 5600739