路易斯·托雷斯。;Annegret K·瓦格勒。 编码确定性系统的动力学。 （英语） Zbl 1228.93079号 数学。方法操作。物件。 73，第3期，281-300（2011）. 摘要：基于Petri网框架的扩展，我们提出了一个离散确定性系统的动力学模型。我们的模型依赖于冲突转换之间的先验关系的定义，该关系是通过确定转换冲突图的边的方向来编码的。我们根据这些确定性系统的局部一致性条件提供了一个特征，这些系统的动态行为可以使用我们的方法进行编码。最后，我们考虑了转换冲突图的方向何时对系统的动态行为有效的识别问题。 引用于1审查 MSC公司： 93立方65 离散事件控制/观测系统 94C15号机组 图论在电路和网络中的应用 关键词：Petri网;并发确定性动态系统 PDF格式BibTeX公司 XML格式引用 \textit{L.M.托雷斯}和\textit{A.K.瓦格勒}，数学。方法操作。第73号决议，第3号，281--300（2011年；Zbl 1228.93079） 全文： 内政部 参考文献： [1] Adam NR，Atluri V，Huang WK（1998）使用Petri网对工作流进行建模和分析。Intell Inf Syst杂志10（2）：131–158。doi:10.1023/A:1008656726700·doi:10.1023/A:1008656726700 [2] Balbo G（2002）随机Petri网简介。主题：关于正式方法和性能分析的讲座：第一所EEF/欧洲计算机科学趋势暑期学校，纽约斯普林格，第84-155页 [3] Billington J，Diaz M，Rozenberg G（1999）《Petri网在通信网络中的应用，Petri网的进展》。斯普林格，伦敦 [4] Caprotti O，Ferscha A，Hong H（1995）Gröbner bases的Petri网可达性测试。RISC-Linz报告系列95-03，林茨符号计算研究所 [5] Chandler A，Heyworth A（1999）Gröbner测试Petri网的基本程序。威尔士大学UWB数学预印本99.11。arXiv:math/0002119v1 [6] Chaouiya C（2007）生物网络的Petri网建模。生物信息学简介pp bbm029+。doi:10.1093/bib/bbm029·Zbl 1153.90336号 [7] Chaouiya C，Remy E，Thieffry D（2008）生物调控网络的Petri网建模。J离散算法6（2）：165-177。doi:10.1016/j.jda.2007.06.003·Zbl 1153.90336号 ·doi:10.1016/j.jda.2007.06.003 [8] David R，Alla H（2005）离散、连续和混合Petri网。柏林施普林格·Zbl 1074.93002号 [9] Gu T，Bahri PA（2002）《批处理过程中Petri网应用的调查》。计算指数47（1）：99–111。doi:10.1016/S0166-3615（01）00142-7·doi:10.1016/S0166-3615（01）00142-7 [10] Hardy S，Robillard PN（2004）使用Petri网对分子生物学系统进行建模和仿真：各种方法的建模目标。生物信息学计算生物学杂志2（4）：619–637·doi:10.1142/S0219720004000764 [11] Jensen K（1997）《有色Petri网：基本概念、分析方法和实际应用》，第3卷。纽约州施普林格·Zbl 0883.68098号 [12] Koch I，Heiner M，（2008）Petri nets In:Junker BH，Schreiber F（eds）《生物网络分析》，Wiley生物信息学丛书，第139-180页 [13] Lipton R（1976）可达性问题需要指数空间。美国耶鲁大学计算机科学系研究报告62 [14] Marsan M，Balbo G，Donatelli S，Franceschinis G，Conte G（1995）广义随机Petri网建模，并行计算中的Wiley级数·Zbl 0843.68080号 [15] Marwan W（2003）时间分辨体细胞互补理论及其在分析小头小囊藻孢子形成控制网络中的应用。遗传学164:105–115 [16] Marwan W，Starostzik C（2002）通过突变体的时间分辨体细胞互补分析多头小囊藻孢子形成控制网络中的调节事件序列。专家153:391–400·doi:10.1078/14344610260450127 [17] Marwan W，Sujatha A，Starostzik C（2005）基于层次Petri网建模和仿真重建控制多头藻承诺和产孢的调控网络。《Theor生物学杂志》236:349–365·doi:10.1016/j.jtbi.2005.03.018 [18] Marwan W，Wagler A，Weismantel R（2008）解决网络重建问题的数学方法。数学方法操作研究67:117–132·Zbl 1146.90016号 ·文件编号：10.1007/s00186-007-0178-5 [19] Matsuno H、Aoshima H、Doi A、Tanaka Y、Matsui M（2003）混合功能Petri网上的生物路径表示和模拟。硅生物。3(3): 389–404 [20] Mayr EW（1981）一般Petri网可达性问题的算法。摘自：《第13届美国计算机学会计算理论研讨会论文集》，美国计算机学会出版社，纽约，第238-246页 [21] Mayr EW（1984）一般Petri网可达性问题的一种算法。SIAM J计算13（3）：441–460·Zbl 0563.68057号 ·doi:10.1137/0213029 [22] Mayr EW（1995）关于多项式理想及其复杂性和应用。收录于：Reichel H（eds）《计算理论基础》，计算机科学讲义第965期。柏林施普林格，第89–105页 [23] Reisig W（1985）Petri网：简介。纽约州施普林格·Zbl 0555.68033号 [24] Reisig W（1998）分布式算法的要素：用Petri网建模和分析。纽约州施普林格·Zbl 0907.68130号 [25] Runge T（2004）有色Petri网在系统生物学中的应用。摘自：第五届CPN研讨会论文集。奥胡斯大学，奥胡斯，第77-95页 [26] Torres LM，Wagler A（2010）离散确定性系统的模型重建。电子笔记离散数学36:175–182·Zbl 1237.90212号 ·doi:10.1016/j.endm.2010.05.023 [27] Wagler A、Weismantel R（2009）《生物系统建模和分析的组合学》。自然计算（显示）。doi:10.1007/S11047-009-9165-5·Zbl 1217.92050号 [28] Yakovlev A，Koelmans A，Semenov A，Kinniment D（1996）使用Petri网对异步控制电路进行建模、分析和综合。集成VLSI J 21（3）：143–170。doi:10.1016/S0167-9260（96）00010-7·Zbl 0875.68972号 ·doi:10.1016/S0167-9260（96）00010-7 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。