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 条
  • [41] Performance Prediction for SaaS Deployment Optimization Based on Colored Petri Nets
    Gong, Zhiyuan
    Ying, Shi
    Li, Lin
    Jia, Xiangyang
    Zhang, Long
    PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013, : 2689 - 2693
  • [42] Analyzing the execution architecture of mobile phone software with colored Petri nets
    Xu J.
    Kuusela J.
    International Journal on Software Tools for Technology Transfer, 1998, 2 (2) : 133 - 143
  • [43] Modeling a Pharmaceutical Web-Service Using Colored Petri Nets
    Kalinina, Irina
    Gozhyj, Aleksandr
    Gozhyi, Victor
    2022 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT), 2022, : 345 - 348
  • [44] Access Control Verification in Smart Contracts Using Colored Petri Nets
    Al-Azzoni, Issam
    Iqbal, Saqib
    COMPUTERS, 2024, 13 (11)
  • [45] XQPN - colored Petri nets for processing XML data with XQuery language
    Szwed, Piotr
    PRZEGLAD ELEKTROTECHNICZNY, 2010, 86 (09): : 221 - 225
  • [46] 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
  • [47] 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
  • [48] An elastic controller using Colored Petri Nets in cloud computing environment
    Ali Shahidinejad
    Mostafa Ghobaei-Arani
    Leila Esmaeili
    Cluster Computing, 2020, 23 : 1045 - 1071
  • [49] Investigating the robustness of the agricultural supply chain based on colored Petri nets
    Chen, Wen Chong
    Li, Jing
    Wen, Dan Ping
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2015, 91 (10): : 898 - 915
  • [50] Supervisory controller design to enforce reversibility and liveness in colored Petri nets
    Aybar, Aydin
    Cimen, Mustafa
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2007, 5 (04) : 463 - 470
12345