Sciweavers

86 search results - page 18 / 18
» Timed Diagnostics for Reachability Properties
Sort
View
DEDS
2008
87views more  DEDS 2008»
13 years 6 months ago
On-Line Monitoring of Large Petri Net Models Under Partial Observation
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...
George Jiroveanu, René K. Boel, Behzad Bord...