• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - Request a copy

Regular Stochastic Petri Nets

Haddad, Serge; Dutheillet, Claude (1991), Regular Stochastic Petri Nets, in Jensen, Kurt; Rozenberg, Grzegorz, High-level Petri Nets. Theory and Application, Springer : Berlin, p. 186-210. 10.1007/3-540-53863-1_26

Type
Chapitre d'ouvrage
Date
1991
Book title
High-level Petri Nets. Theory and Application
Book author
Jensen, Kurt; Rozenberg, Grzegorz
Publisher
Springer
Published in
Berlin
ISBN
3-540-54125 X
Number of pages
724
Pages
186-210
Publication identifier
10.1007/3-540-53863-1_26
Metadata
Show full item record
Author(s)
Haddad, Serge
Dutheillet, Claude
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.
Subjects / Keywords
Higher-level net models; stochastic nets

Related items

Showing items related by title and author.

  • Thumbnail
    Regular Stochastic Petri Nets 
    Dutheillet, Claude; Haddad, Serge (1991) Communication / Conférence
  • Thumbnail
    An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets 
    Barkaoui, Kamel; Dutheillet, Claude; Haddad, Serge (1993) Communication / Conférence
  • Thumbnail
    Conflict Sets in Coloured Petri nets 
    Dutheillet, Claude; Haddad, Serge (1993) Communication / Conférence
  • Thumbnail
    A Symbolic Reachability Graph for Coloured Petri Nets 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1997) Article accepté pour publication ou publié
  • Thumbnail
    An Efficient Computation of Structural Relations in Unary Regular Nets 
    Dutheillet, Claude; Haddad, Serge (1992) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo