8481 articles  [english version]

inria-00073792, version 1

Liveness in Weighted Routed Nets

Bruno Gaujal () 1

N° RR-2899 (1996)

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.

  • 1 :  SLOOP (INRIA Sophia Antipolis / Laboratoire I3S)
  • INRIA – Université Nice Sophia Antipolis [UNS] – CNRS : UMR7271
  • Domaine : Informatique/Autre
  • Mots-clés : PETRI NETS / (MIN / +) ALGEBRA / LINEAR ALGEBRA
  • Référence interne : RR-2899
 
  • inria-00073792, version 1
  • http://hal.inria.fr/inria-00073792
  • oai:hal.inria.fr:inria-00073792
  • Contributeur : Rapport De Recherche Inria <>
  • Soumis le : Mercredi 24 Mai 2006, 13:45:53
  • Dernière modification le : Mercredi 31 Mai 2006, 14:24:28