• 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

Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms

Beccuti, Marco; Franceschinis, Giuliana; Haddad, Serge (2007), Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms, in Kleijn, Jetty; Yakovlev, Alex, Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, Springer : Berlin, p. 43-62. http://dx.doi.org/10.1007/978-3-540-73094-1_6

View/Open
markov_decision.PDF (510.9Kb)
Type
Communication / Conférence
Date
2007
Conference title
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007
Conference date
2007-06
Conference city
Siedlce
Conference country
Pologne
Book title
Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
Book author
Kleijn, Jetty; Yakovlev, Alex
Publisher
Springer
Series title
Lecture Notes in Computer Science
Series number
4546
Published in
Berlin
ISBN
978-3-540-73093-4
Number of pages
515
Pages
43-62
Publication identifier
http://dx.doi.org/10.1007/978-3-540-73094-1_6
Metadata
Show full item record
Author(s)
Beccuti, Marco
Franceschinis, Giuliana
Haddad, Serge
Abstract (EN)
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distributed systems with probabilistic and non deterministic features: these formalisms allow a high level representation of Markov Decision Processes. The main advantages of both formalisms are: a macroscopic point of view of the alternation between the probabilistic and the non deterministic behaviour of the system and a syntactical way to define the switch between the two behaviours. Furthermore, MDWNs enable the modeller to specify in a concise way similar components. We have also adapted the technique of the symbolic reachability graph, originally designed for Well-formed Nets, producing a reduced Markov decision process w.r.t. the original one, on which the analysis may be performed more efficiently. Our new formalisms and analysis methods are already implemented and partially integrated in the GreatSPN tool, so we also describe some experimental results.
Subjects / Keywords
Markov Decision Processes; Markov Decision Well-formed Nets; Markov Decision Petri Nets; Petri nets

Related items

Showing items related by title and author.

  • 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
  • Thumbnail
    Stochastic Well-Formed Colored Nets and Symmetric Modelling Applications 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1993) Article accepté pour publication ou publié
  • Thumbnail
    On Well-Formed Coloured Nets and Their Symbolic Reachability Graph 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1990) Communication / Conférence
  • Thumbnail
    Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1991) Chapitre d'ouvrage
  • Thumbnail
    Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems 
    Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) 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