• français
    • English
  • English 
    • français
    • English
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
BIRD Home

Browse

This CollectionBy Issue DateAuthorsTitlesSubjectsJournals BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesSubjectsJournals

My Account

Login

Statistics

View Usage Statistics

Regular Stochastic Petri Nets

Thumbnail
Date
1991
Dewey
Informatique générale
Sujet
Higher-level net models; stochastic nets
Book title
High-level Petri Nets. Theory and Application
Author
Jensen, Kurt; Rozenberg, Grzegorz
Publisher
Springer
Publisher city
Berlin
Year
1991
Pages number
724
ISBN
3-540-54125 X
URI
https://basepub.dauphine.fr/handle/123456789/4514
Collections
  • LAMSADE : Publications
Metadata
Show full item record
Author
Haddad, Serge
Dutheillet, Claude
Type
Chapitre d'ouvrage
Item number of pages
186-210
Abstract (EN)
An extension of regular nets, a class of colored nets, to a stochastic model is proposed. We show that the symmetries in this class of nets make it possible to develop a performance evaluation by constructing only a graph of symbolic markings, which vertices are classes of states, instead of the whole reachability graph. Using algebraic techniques, we prove that all the states in a class have the same probability, and that the coefficients of the linear system describing the lumped Markov process can be calculated directly from the graph of symbolic markings.

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Content on this site is licensed under a Creative Commons 2.0 France (CC BY-NC-ND 2.0) license.