Liveness in Free-Choice Petri Nets : An Algebraic Approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1996

Liveness in Free-Choice Petri Nets : An Algebraic Approach

Résumé

In this paper, we show that the evolution equations for timed free choice Petri net can be used to prove logical properties of the underlying un-timed net. For example, this approach leads to new methods and algorithms to check liveness and several other basic properties, such as absence or presence of deadlocks. The main tools for proving these properties are graph theory and idempotent algebras.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00073851 , version 1

Citer

François Baccelli, Bruno Gaujal. Liveness in Free-Choice Petri Nets : An Algebraic Approach. RR-2839, INRIA. 1996. ⟨inria-00073851⟩
95 Consultations
166 Téléchargements

Partager

Gmail Facebook X LinkedIn More