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 条
  • [21] Analysis of two authorization protocols using Colored Petri Nets
    Younes Seifi
    Suriadi Suriadi
    Ernest Foo
    Colin Boyd
    International Journal of Information Security, 2015, 14 : 221 - 247
  • [22] Colored Petri Nets Model based Conformance Test Generation
    Liu, Jing
    Ye, Xinming
    Li, Jun
    2011 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2011,
  • [23] An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets
    Wei, Jin
    Su, Guiping
    Xu, Meng
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 457 - 460
  • [24] Analysis of Concurrent Security Protocols Using Colored Petri Nets
    Long, Shigong
    2009 INTERNATIONAL CONFERENCE ON NETWORKING AND DIGITAL SOCIETY, VOL 1, PROCEEDINGS, 2009, : 227 - 230
  • [25] Study on Multi-agent Systems with Colored Petri Nets
    兰顺国
    李军
    科技信息, 2008, (20) : 609 - 610
  • [26] Translating active objects into colored Petri nets for communication analysis
    Gkolfi, Anastasia
    Din, Crystal Chang
    Johnsen, Einar Broch
    Kristensen, Lars Michael
    Steffen, Martin
    Yu, Ingrid Chieh
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 181 : 1 - 26
  • [27] I/O Conformance Test Generation with Colored Petri Nets
    Liu, Jing
    Ye, Xinming
    Zhou, Jiantao
    Song, Xiaoyu
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (06): : 2695 - 2704
  • [28] MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
    Dal Zilio, Silvano
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 426 - 435
  • [29] Modeling Scalable Grid Information Services with Colored Petri Nets
    Sahota, Vijay
    Li, Maozhen
    Hadjinicolaou, Marios
    INTERNATIONAL JOURNAL OF GRID AND HIGH PERFORMANCE COMPUTING, 2010, 2 (01) : 51 - 68
  • [30] Modeling supply chain configuration based on colored petri nets
    Zhang, Lianfeng
    You, Xiao
    Jiao, Jianxin
    Helo, Petri
    2006 9TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1- 5, 2006, : 176 - +
12345