Liveness in Weighted Routed Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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⟩
70 Consultations
80 Téléchargements

Partager

Gmail Facebook X LinkedIn More