Sciweavers

Share
TSMC
1998

Discrete event representation of qualitative models using Petri nets

11 years 9 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The crossing of a landmark value corresponds to the firing of a transition. We give a formal procedure to construct a Petri net model corresponding to a given set of qualitative equations. The approach can be used to study both autonomous systems and systems with forcing inputs. The dynamic behavior of the system can be studied as sequences of reachable markings of the net and can be computed with standard Petri net execution techniques. This approach also leads to a simple framework for the study of hybrid systems, i.e., systems whose behavior is described by both continuous and discrete event dynamics. Several examples, with applications to diagnosis and control, are fully discussed.
Alessandra Fanni, Alessandro Giua
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where TSMC
Authors Alessandra Fanni, Alessandro Giua
Comments (0)
books