摘要
马可·阿杰蒙·马桑（Marco Ajmone Marsan）、吉安弗兰科·巴尔博（Gianfranco Balbo）、吉亚尼·孔蒂（Gianni Conte）、苏珊娜·多纳泰利（Susanna Donatelli）和朱利安娜·弗朗西斯奇尼斯。 1994 广义随机Petri网建模 （第1版）。 John Wiley&Sons，纽约州纽约市。 谷歌学者 
哈萨内·阿拉和雷内·戴维。 1998.连续和混合Petri网。 电路、系统与计算机杂志 8, 1 (1998), 159--188. 谷歌学者 交叉引用 
卡尔·奥斯特罗姆。 1965.状态信息不完全的马尔可夫过程的最优控制。 数学分析与应用杂志 10，1（1965），174-205。 谷歌学者 交叉引用 马里奥·布拉维蒂和佩德罗·达吉尼奥。 2004.Tutte le Algebre Insime：随机过程代数与一般分布的概念、讨论和关系。 在 随机系统的验证 克里斯特尔·拜尔（Christel Baier）、布杜维恩·哈维尔科特（Boudewijn Haverkort）、霍尔格·赫尔曼斯（Holger Hermanns）、朱斯特·佩特尔·卡托恩（Joost-Pieter Katoen）和马库斯·西格尔（Markus Siegle）（编辑）。 LNCS，第2925卷。 施普林格，柏林，海德堡，44-88。 谷歌学者 佩德罗·达格尼奥（Pedro R.D'Argenio）、马库斯·格霍尔德（Marcus Gerhold）、阿恩德·哈特曼斯（Arnd Hartmanns）和肖恩·塞德瓦兹（Sean Sedwards）。 2018.随机自动机调度程序类的层次结构。 在 2018年FoSSaCS软件科学和计算结构基础国际会议（LNCS） 第10803卷。 查姆施普林格，384--402。 谷歌学者 交叉引用 Pedro R.D’Argenio和Joost-Pieter Katoen。 2005年，随机系统理论第一部分：随机自动机。 信息与计算 203, 1 (2005), 1--38. 谷歌学者 交叉引用 Christian Eisentraut、Holger Hermanns、Joost-Pieter Katoen和Lijun Zhang。 2013.每个GSPN的语义。 在 Petri网和并发的应用和理论国际会议，2013年Petri Nets（LNCS） 第7927卷。 施普林格，柏林，海德堡，90-109。 谷歌学者 数字图书馆 
Christian Eisentraut、Holger Hermanns和Lijun Zhang。 2010.连续时间中的概率自动机。 在 第25届IEEE计算机科学逻辑年会（LICS）。 IEEE，342--351。 谷歌学者 库沙·埃特萨米（Kousha Etessami）、玛尔塔·奎亚特·科夫斯卡（Marta Z.Kwiatkowska）、莫舍·瓦尔迪（Moshe Y.Vardi）和米哈利斯·扬纳卡基斯（Mihalis Yannakakakis）。 2008。马尔可夫决策过程的多目标模型检查。 计算机科学中的逻辑方法 第4、4页（2008年）。 谷歌学者 Mariken Everdij和Henk Blom。 2008.利用随机混合过程的分析能力增强混合状态Petri网。 在 第九届离散事件系统国际研讨会，WODES 2008。 IEEE，400-405。 谷歌学者 交叉引用 马丁·弗伦泽尔（Martin Fränzle）、E.莫里茨·哈恩（E.Moritz Hahn）、霍尔格·赫尔曼斯（Holger Hermanns）、尼科拉斯·沃洛维奇（Nicolás Wolovick）和张丽君（Lijun Zhang）。 2011.随机混合系统的可测量性和安全验证。 在 第14届ACM混合系统国际会议：计算与控制，HSCC 2011。 ACM，纽约州纽约市，43-52。 谷歌学者 Hamed Ghasemieh、Boudewijn Haverkort、Marijn Jongerden和Anne Remke。 2015年，智能房屋的能源弹性模型。 在 第45届IEEE/IFIP可靠系统和网络国际会议，DSN 2015。 IEEE标准，275-286。 谷歌学者 Hamed Ghasemieh、Anne Remke和Boudewijn Haverkort。 2016年，使用混合Petri网的污水处理设施的生存能力分析。 绩效评估 97 (2016), 36--56. 谷歌学者 数字图书馆 塞尔吉奥·吉罗（Sergio Giro）、佩德罗·达吉尼奥（Pedro R.D'Argenio）和路易斯·菲奥里蒂（Luis M.F.Fioriti）。 2014.分布式概率输入/输出自动机：表达性、（不）可判定性和算法。 理论计算机科学 538 (2014), 84--102. 谷歌学者 交叉引用 马可·格里鲍多和安妮·雷姆克。 2016.具有一般ne-shot转换的混合Petri网。 绩效评估 105 (2016), 22--50. 谷歌学者 交叉引用 E.Moritz Hahn、Arnd Hartmanns、Holger Hermanns和Joost-Pieter Katoen。 2013.随机混合系统的组合建模和分析框架。 系统设计中的形式化方法 43, 2 (2013), 191--232. 谷歌学者 数字图书馆 Arnd Hartmanns、Holger Hermanns和Jan Krcál。 2016年，计划员不是先知。 在 语义学、逻辑学和微积分 Christian W.Probst、Chris Hankin和RenéR.Hansen（编辑）。 LNCS，第9560卷。 查姆施普林格，214-235。 谷歌学者 Arie Hordijk和Lodewijk C.M.Kallenberg，1984年。 约束未折扣随机动态规划。 运筹学数学 9, 2 (1984), 276--289. 谷歌学者 数字图书馆 Graham Horton、Vidyadhar G.Kulkarni、David M.Nicol和Kishor S.Trivedi。 1998。流体随机Petri网：理论、应用和求解技术。 欧洲运筹学杂志 105, 1 (1998), 184--201. 谷歌学者 交叉引用 Jannik Hüls、Carina Pilch、Patricia Schinke、Joanna Delicaris和Anne Remke。 2019.具有多个随机Firings的混合Petri网的状态空间构造。 在 2019年QEST（LNCS）第十六届系统定量评估国际会议 第11785卷。 查姆施普林格，182-199。 谷歌学者 Jannik Hüls和Anne Remke。 2019.模型检查多维HPnG：将状态集表示为凸多面体。 在 第19届IFIP WG 6.1分布式对象、组件和系统形式化技术国际会议，2019年FORTE（LNCS） 第11535卷。 查姆施普林格，148-166。 谷歌学者 Kurt Jensen和Lars M.Kristensen。 2009 有色Petri网：并发系统的建模和验证。 施普林格，柏林，海德堡。 谷歌学者 数字图书馆 Marijn Jongerden、Jannik Hüls、Anne Remke和Boudewijn Haverkort。 2016年。你的国内光伏能源系统能在电网故障中幸存下来吗？ 能源 9 (2016), 736--744. 谷歌学者 交叉引用 G.Peter Lepage。 1978年，自适应多维积分的一种新算法。 计算物理杂志 27, 2 (1978), 192--203. 谷歌学者 交叉引用 Omid Madani、Steve Hanks和Anne Condon。 1999.关于概率规划和无限小时部分可观测马尔可夫决策问题的不可判定性。 在 第十六届全国人工智能大会和第十一届人工智能创新应用大会，AAAI'99/IAAI'99。 佛罗里达州奥兰多市AAAI，541-548。 谷歌学者 卡尔·佩特里（Carl A.Petri），1962年。 Kommunikation mit Automaten公司。 博士论文。 德国汉堡大学。 谷歌学者 Carina Pilch和Anne Remke。 2017.具有多个一般转换的混合Petri网的统计模型检查。 在 2017年IEEE/IFIP第47届年度可靠系统和网络国际会议（DSN）。 IEEE，475--486。 谷歌学者 交叉引用
建议
离散时间随机Petri网 过程的基本图形模型，如Petri网，通常忽略了时间作为参数的概念。 时间以两种方式添加到Petri网模型中。 定时Petri网（TPN）使用固定数量的离散时间间隔。 这个。。。 从随机Petri网到马尔可夫再生随机Petri网 MASCOTS’95：第三届计算机和电信系统建模、分析和仿真国际研讨会会议记录 本文综述了Petri网的文献，重点讨论了具有一般分布的转换触发时间的Petri网。 在马尔可夫再生随机Petri网（MRSPN）框架下，我们开发并求解了两个示例来说明该方法的有效性。。。 随机Petri网：成就和开放问题 IPDS’95：计算机性能和可靠性国际研讨会论文集 文摘：简要介绍了广义随机Petri网，并根据三个研究方向综述了自其提出以来为提高建模能力所做的工作。 仍然需要解决的未决问题。。。
