A state estimation problem for timed continuous Petri nets | IEEE Conference Publication | IEEE Xplore

A state estimation problem for timed continuous Petri nets


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 More

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.
Date of Conference: 12-14 December 2007
Date Added to IEEE Xplore: 21 January 2008
ISBN Information:
Print ISSN: 0191-2216
Conference Location: New Orleans, LA, USA

References

References is not available for this document.