朱安·吉拉奥（Juan L.G.Guirao）。;费尔南多·佩莱奥。;Jose C.Valverde。 对并发计算系统的动态进行建模。 （英语） Zbl 1217.68150号 计算。数学。申请。 61，第5期，1402-1406（2011）. 小结：本文是将离散动态系统（DDS）理论应用于并发计算系统分析的第一步。为了继续，Petri网（PN）被适当地建模为DDS，从而用其度量结构和系统的进化算子定义相应的相空间。我们通过显示一些可识别问题的结果来结束这项研究。 引用于1审查引用于8文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 37B15号机组 细胞自动机的动力学方面 关键词：形式计算科学;Petri网;数学模型;离散动力系统 PDF格式BibTeX公司 XML格式引用 \textit{J.L.G.Guirao}等人，计算。数学。申请。61，第5号，1402--1406（2011；Zbl 1217.68150） 全文： 内政部 参考文献： [1] G.A.Petri，《与自动机的通信》，技术报告RADC-TR-65-377，纽约大学，1966年。；G.A.Petri，《自动化通信》，技术报告RADC-TR-65-377，纽约大学，1966年。 [2] 阿罗史密斯，D.K。；Place，C.M.，《动力系统导论》（1990），剑桥大学出版社·Zbl 0702.58002号 [3] Hale，J。；Koak，H.，《动力学与分岔》（1991），施普林格出版社：施普林格纽约，海德堡，柏林·Zbl 0745.58002号 [4] Wiggins，S.，《应用非线性系统和混沌导论》（1990），Springer:Springer纽约·Zbl 0701.58001号 [5] 贝克，J.W。；Vink，E.P.，《控制流语义的度量方法》，纽约学院安。科学。，806, 11-27 (1996) ·Zbl 0971.68099号 [6] 罗德里格斯·洛佩兹，J。；罗马圭拉，S。；瓦莱罗，O.，《程序设计语言的指称语义，平衡准度量和不动点》，国际计算杂志。数学。，85, 3, 623-630 (2008) ·Zbl 1146.68049号 [7] Stefan，P.，关于实线连续自同态周期轨道存在性的Sarkovskii定理，Comm.Math。物理。，54, 237-248 (1977) ·Zbl 0354.54027号 [8] 福尔摩斯，P。；Whitey，D.，《一维和二维地图的分叉》，Philos。事务处理。英国皇家学会。，311, 43-102 (1984) ·Zbl 0556.58023号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。