In: Symposium ADPM'2000, Automation of Mixed Processes: Hybrid Dynamic Systems, Dortmund, 18-19 sept 2000, pages p231-236. September 2000.
Abstract: This paper presents a method to model and verify Hybrid dynamic Systems in order to validate their supervision. The supervised process is first modeled with Mixed Petri Nets. Its qualitative features are represented by Petri nets interpreted with differential-algebraic equations taking into account the continuous evolutions. Then a method is presented to verify the divergence of time (non-zeno behavior) of this model. It is applied to a simple example to illustrate the concepts defined in the paper.
Keywords: hybrid dynamic systems, Mixed Petri nets, algebro-differential equations, verification, time divergence.