×

无限服务器语义下时间连续Petri网的同调性、分叉性、连续性和单调性。 (英语) Zbl 1422.68172号

小结:这项工作研究了在时间连续Petri网(TCPN)系统中,平衡标记和吞吐量如何随着过渡发射率的变化而变化。特别是,它分析了分岔前者的,以及不连续性非单调性后者;具体来说,使用网络的结构对象,如P-半流、T-半流和配置除其他外,可以获得以下特性。对于Join-Free TCPN系统,导出了一个充分的结构条件,保证平衡标记在发射率变化时不会分叉。对于无选择TCPN系统,获得了双重结果。研究了单T半流TCPN系统的均衡吞吐量;使用时间尺度(a)相似的)证明了均衡吞吐量的不连续性意味着其非单调性,即使乍一看并不明显。这是平衡吞吐量的两个时间行为特性的联系。此外,通过平衡标记参数化的充分结构条件确保了其在射速变化下的连续性。本文还证明了均衡吞吐量的单调性可以用前面的结构条件来表征。本文还讨论了TCPN系统标记进化到其平衡标记的收敛性。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
34C23型 常微分方程的分岔理论
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Silva,M.,《个体、种群和流体近似:基于Petri网的视角》,《非线性分析》。混合系统。,22,72-97(2016),网址网址:http://www.sciencedirect.com/science/article/pii/S175157X16300036 ·兹伯利1415.93171
[2] 大卫·R。;Alla,H.,离散、连续和混合Petri网(2010),Springer Publishing Company,Incorporated
[3] Silva,M。;Jülvez,J。;Mahulea,C。;Vázquez,C.R.,《离散事件模型的流态化:连续Petri网的观察和控制》,离散事件动态。系统。,21, 4, 427-497 (2011) ·Zbl 1235.93154号
[4] 范蒂,M。;Mangini,A。;多托利,M。;Ukovich,W.,《医院科室设计和绩效评估的三级策略》,IEEE Trans。并行分布式系统。,43, 4, 742-756 (2013)
[5] Julvez,J。;Boel,R.,交通系统模型预测控制的连续Petri网方法,IEEE Trans。系统。人。赛博。A、 40,4686-697(2010)
[6] Silva,M。;弗拉卡,E。;Wang,L.,《制造系统的性能评估和控制:连续Petri网观点》(Campos,J.;Seatzu,C.;Xie,X.,《制造业的形式方法》(2014),CRC出版社Taylor&Francis),409-452,URLhttp://www.crcpress.com/product/isbn/9781466561557
[7] Mahulea,C。;雷卡德,L。;Silva,M.,《连续Petri网的基本服务器语义和性能单调性》,离散事件动态。系统。,19, 2, 189-212 (2009) ·Zbl 1169.93367号
[8] Jülvez,J。;雷卡德,L。;Silva,M.,连续单t-半流Petri网的稳态性能评估,Automatica,41,4,605-616(2005),URLhttp://www.sciencedirect.com/science/article/pii/S000510980400322X ·Zbl 1061.93066号
[10] 纳瓦罗·古铁雷斯,M。;Ramírez-Treviáo,A。;Silva,M.,时间连续Petri网中的分歧,IFAC-PapersOnLine,48,27,33-40(2015),混合系统分析与设计ADHSAtlanta,GA,USA,2015年10月14-16日。URLhttp://www.sciencedirect.com/science/article/pii/S2405896315024076
[12] 梅米,G。;Roucairol,G.,网络理论中的线性代数,(Brauer,W.,网络理论与应用,网络理论和应用,计算机科学讲义,第84卷(1980),施普林格:施普林格-柏林,海德堡)·Zbl 0434.68040号
[13] 迪贝尔纳多,M。;巴德,C。;Champneys,A.R。;Kowalczyk,P.,分段光滑动力系统:理论与应用,第163卷(2008年),施普林格科学与商业媒体·Zbl 1146.37003号
[14] 特鲁尔,E。;科罗姆·J。;Silva,M.,《无选择Petri网:具有批量服务和到达的确定性并发系统模型》,IEEE Trans。系统。人。赛博。A、 27、1、73-83(1997)
[15] Farina,L。;Rinaldi,S.,《正线性系统:理论与应用》(2000),威利国际科学出版社,威利·Zbl 0988.93002号
[16] Mahulea,C。;Ramirez-Trevino,A。;雷卡德,L。;Silva,M.,连续Petri网系统中的稳态控制参考和令牌守恒定律,IEEE Trans。自动。科学。工程师,5,2,307-320(2008)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。