Structural, temporal and stochastic properties of unbounded free-choice Petri nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1994

Structural, temporal and stochastic properties of unbounded free-choice Petri nets

Bruno Gaujal
Serguei Foss
  • Fonction : Auteur

Résumé

In this paper, we show how a decomposition of a free choice Petri net into a ``routing'' network and marked graph subnetworks (i.e. linear subnetworks in the $[\max, +]$ setting) leads to new methods and algorithms to test structural as well as temporal properties of the net. Although several results hold for general free choice nets, the paper primalily focuses on the class of single input-free choice nets, defined here. We show how this decomposition in linear subnets allows one to: (in the untimed case) check liveness in polynomial time; (in the timed case) establish evolution equations which allow to represent the system as a coupling of two linear systems, a $(\min,+)$-linear system, and a quasi $(+,\times)$-linear one; (in the stochastic case) check stability, i.e. the fact that the marking remains bounded in probability. The main tools for proving these properties are graph theory, idempotent algebras and ergodic theory.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2411.pdf (506.42 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00074264 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074264 , version 1

Citer

François Baccelli, Bruno Gaujal, Serguei Foss. Structural, temporal and stochastic properties of unbounded free-choice Petri nets. RR-2411, INRIA. 1994. ⟨inria-00074264⟩
82 Consultations
127 Téléchargements

Partager

Gmail Facebook X LinkedIn More