SOME TIME ANALYSIS METHODS FOR CONTINUOUS AND HYBRID PETRI NETS
I. Demongodin(1) and A. Giua(2)
(1) IRCCyN-UMR CNRS n° 6597/Ecole des Mines de Nantes-1 rue de la noë-B.P. 92101-44321 Nantes Cedex 3, France. Email: Isabel.Demongodin@emn.fr.
(2) Dip. Ingegnerai Elettrica ed Elettronica-Università di Cagliari-Piazza d Armi- 09123 Cagliari, Italy. Email: giua@diee.unica.it.
Continuous and hybrid Petri nets can be seen as relaxation of discrete nets, in which the firing of some or of all transitions is approximated with a fluid model. Several analysis techniques have been presented for studying these models, using either linear programming and incidence matrix analysis, or graph theory approaches. In this paper two of such approaches, one based on linear algebra and one based on graph theory, are used to compute the steady-state firing speed and steady-state marking of continuous weighted marked graphs.
Keywords: Petri net, graph theory, linear programming, time properties, hybrid systems
Session slot T-Th-E06: Analysis of hybrid systems/Area code 5c : Computer Aided Control Systems Design

|