The (true) concurrent Markov property and some applications to Markov nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

The (true) concurrent Markov property and some applications to Markov nets

Samy Abbes

Résumé

We study probabilistic safe Petri nets, a probabilistic exten- sion of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of processes is defined on partial orders, not on firing sequences. We focus on memoryless probabilistic nets: we give a definition for such systems, that we call Markov nets, and we study their properties. We show that several tools from Markov chains theory can be adapted to this true-concurrent framework. In particular, we introduce stopping operators that generalize stopping times, in a more convenient fashion than other extensions previously proposed. A Strong Markov Property holds in the concurrency framework. We show that the Concurrent Strong Markov property is the key ingredient for studying the dynamics of Markov nets. In particular we introduce some elements of a recurrence theory for nets, through the study of renewal operators. Due to the concurrency properties of Petri nets, Markov nets have global and local renewal operators, whereas both coincide for sequential systems.
Fichier principal
Vignette du fichier
icatpn05.pdf (291.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00350506 , version 1 (06-01-2009)

Identifiants

  • HAL Id : hal-00350506 , version 1

Citer

Samy Abbes. The (true) concurrent Markov property and some applications to Markov nets. International Conference on Theory and Applications of Petri Nets, 2005, Miami, United States. pp.70-89. ⟨hal-00350506⟩
46 Consultations
82 Téléchargements

Partager

Gmail Facebook X LinkedIn More