Liveness in Weighted Routed Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1996

Liveness in Weighted Routed Nets


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.


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

Dates and versions

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


  • HAL Id : inria-00073792 , version 1


Bruno Gaujal. Liveness in Weighted Routed Nets. RR-2899, INRIA. 1996. ⟨inria-00073792⟩
67 View
72 Download


Gmail Facebook Twitter LinkedIn More