3 search results - page 1 / 1 » On-Line Monitoring of Large Petri Net Models Under Partial O... |
DEDS
2008
13 years 4 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
FORTE
2004
13 years 6 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
FORMATS
2005
Springer
13 years 10 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...