Liveness in Weighted Routed Nets - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport Année : 1996

Liveness in Weighted Routed Nets

Résumé

In this paper, we present an algorithm to check liveness of weighted routed nets. This novel method is based on the total number of event equations for each single input subnet and on a continuous approximation of a Petri net that provides linear equation descriptions.

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00073792 , version 1

Citer

Bruno Gaujal. Liveness in Weighted Routed Nets. RR-2899, INRIA. 1996. ⟨inria-00073792⟩
76 Consultations
88 Téléchargements

Partager

More