HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Liveness in Weighted Routed Nets

Bruno Gaujal 1
1 SLOOP - Simulation, Object Oriented Languages and Parallelism
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073792
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:45:53 PM
Last modification on : Friday, February 4, 2022 - 3:11:43 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:42:03 PM

Identifiers

  • HAL Id : inria-00073792, version 1

Collections

Citation

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

Share

Metrics

Record views

66

Files downloads

62