• 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

Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications

Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1993), Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications, IEEE Transactions on Computers, 42, 11, p. 1343-1360

Type
Article accepté pour publication ou publié
Date
1993
Journal name
IEEE Transactions on Computers
Volume
42
Number
11
Publisher
Institute of Electrical and Electronics Engineers
Pages
1343-1360
Metadata
Show full item record
Author(s)
Chiola, Giovanni
Dutheillet, Claude
Franceschinis, Giuliana
Haddad, Serge
Abstract (EN)
The class of stochastic well-formed colored nets (SWN's) was defined as a syntactic restriction of stochastic high-level nets. The interest of the introduction of restrictions in the model definition is the possibility of exploiting the symbolic reachability graph (SRG) to reduce the complexity of Markovian performance evaluation with respect to classical Petri net techniques. It turns out that SWN's allow the representation of any color function in a structured form, so that any unconstrained high-level net can be transformed into a well-formed net. Moreover, most constructs useful for the modeling of distributed computer systems and architectures directly match the «well-formed» restriction, without any need of transformation
Subjects / Keywords
Multiprocessor system; Model symmetry; Multiprocessor; Petri net; Markov chain; Performance evaluation; Computational complexity

Related items

Showing items related by title and author.

  • Thumbnail
    Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1991) Chapitre d'ouvrage
  • Thumbnail
    On Well-Formed Coloured Nets and Their Symbolic Reachability Graph 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1990) Communication / Conférence
  • Thumbnail
    Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 
    Beccuti, Marco; Franceschinis, Giuliana; Haddad, Serge (2007) 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
    A Framework to Design and Solve Markov Decision Well-formed Net Models 
    Beccuti, Marco; Codetta-Raiteri, Daniele; Franceschinis, Giuliana; Haddad, Serge (2007) 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