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 <>
Submitted on : Wednesday, May 24, 2006 - 1:45:53 PM
Last modification on : Monday, October 12, 2020 - 10:30:26 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

150

Files downloads

155