Liveness in Weighted Routed Nets

Bruno Gaujal 1
1 SLOOP - Simulation, Object Oriented Languages and Parallelism
CRISAM - Inria Sophia Antipolis - Méditerranée , 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.
Type de document :
Rapport
RR-2899, INRIA. 1996
Liste complète des métadonnées

https://hal.inria.fr/inria-00073792
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:45:53
Dernière modification le : jeudi 11 janvier 2018 - 15:59:41
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:42:03

Fichiers

Identifiants

  • HAL Id : inria-00073792, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

76