Abstract:
Continuous Petri nets are an approximation of discrete Petri nets introduced to cope with the state explosion problem typical of discrete event systems. In this paper we ...Show MoreMetadata
Abstract:
Continuous Petri nets are an approximation of discrete Petri nets introduced to cope with the state explosion problem typical of discrete event systems. In this paper we start the problem of state estimation for timed continuous Petri nets with finite server semantics. Under the assumption that no observation is available, and thus the set of consistent markings only depends on the time elapsed, we study the observation based on the time-reachability analysis.
Published in: 2007 46th IEEE Conference on Decision and Control
Date of Conference: 12-14 December 2007
Date Added to IEEE Xplore: 21 January 2008
ISBN Information:
Print ISSN: 0191-2216