Timed continuous Petri nets and optimization via linear programming

Bruno Gaujal (1, 2) , Alessandro Giua (2)

1 TRIO - Real time and interoperability
2 LIP - Laboratoire de l'Informatique du Parallélisme

In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the stationary firing rate for all transitions via linear programming, so as to determine the optimal routing parameters that maximize the firing rates. Finally, we discuss the relations with discrete Petri nets

Dans cet article, nous considérons les réseaux Petri continus temporisés déterministes dans lesquels les conflits dans les places sont résolus en utilisant des routages stationnaires. Nous montrons comment calculer les taux de tirs en régime stationnaire pour toutes les transitions via un programme linéaire. nous montrons aussi comment calculer les paramètres de routage qui sonnent les meilleurs taux de tirs. Enfin, nous discutons les relations qui existent avec les réseaux de Petri discrets.

Mots clés: LINEAR PROGRAMMING; CONTINUOUS PETRI NETS; OPTIMAL ROUTING

Mots clés: RESEAUX DE PETRI CONTINUS; ROUTAGE OPTIMAL; PROGRAMMATION LINEAIRE

Domaines: Autre [cs.OH]

Bruno Gaujal, Alessandro Giua. Timed continuous Petri nets and optimization via linear programming. [Research Report] RR-4583, LIP RR-2002-35, INRIA, LIP. 2002. ⟨inria-00072002⟩