Critical paths in the Partial Order Unfolding of a Stochastic Petri Net

Anne Bouillard 1, 2 Stefan Haar 3 Sidney Rosario 2
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of its components. But, if the composition has race conditions, the very outcome of the process will also depend on the latency of component processes. Using stochastic Petri nets, we investigate the probability of a transition occurrence being critical for the entire process, i.e. such that a small increase or decrease of the duration of the occurrence entails an increase or decrease of the total duration of the process. The first stage of the analysis focuses on occurrence nets, as obtained by partial order unfoldings, to determine criticality of events; we then lift to workflow nets to investigate criticality of transitions inside a workflow.
Type de document :
Communication dans un congrès
Ouaknine, Joël and Vaandrager, Frits. Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. Springer, 5813, pp.43-57, 2009, 〈10.1007/978-3-642-04368-0_6〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638288
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 14:49:49
Dernière modification le : vendredi 16 novembre 2018 - 01:27:51

Lien texte intégral

Identifiants

Citation

Anne Bouillard, Stefan Haar, Sidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net. Ouaknine, Joël and Vaandrager, Frits. Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. Springer, 5813, pp.43-57, 2009, 〈10.1007/978-3-642-04368-0_6〉. 〈inria-00638288〉

Partager

Métriques

Consultations de la notice

429