Markov Decision Processes from Colored Petri Nets

被引:0
作者
Eboli, Monica Goes [1 ]
Cozman, Fabio Gagliardi [1 ]
机构
[1] Escola Politecn Univ Sao Paulo, Sao Paulo, Brazil
来源
ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010 | 2010年 / 6404卷
关键词
Planning under uncertainty; Markov decision processes; Colored Petri nets;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Models that are suitable for planning are not always easy to specify. In this paper we investigate the conversion of Petri nets into factored Markov decision processes: the former are relatively easy to build while the latter are adequate for policy generation. To represent probabilities that are needed when planning under uncertainty, we introduce factored Petri nets; we then describe the conversion of factored Petri nets in Markov decision processes.
引用
收藏
页码:72 / 81
页数:10
相关论文
共 50 条
  • [31] Analysis of two authorization protocols using Colored Petri Nets
    Seifi, Younes
    Suriadi, Suriadi
    Foo, Ernest
    Boyd, Colin
    INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2015, 14 (03) : 221 - 247
  • [32] Dynamic modeling of information systems based on Colored Petri Nets
    Yan, ZJ
    Gan, RC
    PROCEEDINGS OF THE 2001 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING, VOLS I AND II, 2001, : 284 - 289
  • [33] Manufacturing Scheduling Using Colored Petri Nets and Reinforcement Learning
    Drakaki, Maria
    Tzionas, Panagiotis
    APPLIED SCIENCES-BASEL, 2017, 7 (02):
  • [34] Generalized mutual exclusion constraints and monitors for colored Petri nets
    Fanti, MP
    Giua, A
    Seatzu, C
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1860 - 1865
  • [35] FORMALIZATION OF THE BEHAVIOR OF ACTORS BY COLORED PETRI NETS AND SOME APPLICATIONS
    SAMI, Y
    VIDALNAQUET, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 110 - 122
  • [36] Modeling of information systems security features with colored Petri nets
    Mikolajczak, B
    Joshi, S
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4879 - 4884
  • [37] Incorporating object-orientedness in transformations from live sequence charts to colored Petri Nets
    Khadka, Binsan
    Mikolajczak, Boleslaw
    PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 1179 - 1183
  • [38] XQPN - colored Petri nets for processing XML data with XQuery language
    Szwed, Piotr
    PRZEGLAD ELEKTROTECHNICZNY, 2010, 86 (09): : 221 - 225
  • [39] Modeling and verification of TCP congestion control based on colored Petri nets
    Bao, GF
    Liu, F
    Li, H
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1045 - 1050
  • [40] Colored Petri Nets Based Fault Diagnosis in Service Oriented Architecture
    Bhandari, Guru Prasad
    Gupta, Ratneshwer
    Upadhyay, Satyanshu K.
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2018, 15 (04) : 1 - 28