×

具有相对较小种群的Petri网模型的流体近似。 (英语) Zbl 1374.93240号

摘要:为了简化离散Petri网的分析,流态化是一种基于去除完整性约束的吸引人的松弛技术。流化离散Petri网的结果就是所谓的流体连续Petri网。与任何松弛技术一样,离散模型和松弛模型的行为可能会出现差异。此外,当系统的总体(Petri网术语中的标记)“相对”较小时,这种差异可能会产生相对较大的影响。本文提出了两种互补的方法来获得离散Petri网的更好的流体近似。第一个重点是不定时系统,并基于以下位置的添加隐性的在非定常离散系统中,但不在连续系统中。这个想法是不受欢迎的虚假的其存在会恶化流态化的溶液。第二个重点是可能严重影响定时系统中流态化质量的特定情况。也就是说,当过渡的启用程度等于1时,就会出现这种情况。最后一种方法旨在缓解这种情况,称为边界到达问题,在以下系统上无限服务器语义。

MSC公司:

93元65角 离散事件控制/观测系统
05C90年 图论的应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Ajmone Marsan M,Balbo G,Conte G,Donatelli S,Franceschinis G(1995)用广义随机Petri网建模。威利·Zbl 0843.68080号
[2] Avis D,Fukuda K(1992)凸壳和排列和多面体顶点枚举的旋转算法。离散计算几何8(1):295-313·Zbl 0752.68082号 ·doi:10.1007/BF02293050
[3] Balas E、Ceria S、Cornuéjols G、Natraj N(1996)重新审视了Gomory的削减。运营Res Lett 19(1):1-9·Zbl 0865.90098号 ·doi:10.1016/0167-6377(96)00007-7
[4] Balbo G,Silva M(1998)编辑。《具有同步的离散事件系统的性能模型:恶意行为和分析技术》,西班牙雅卡MATCH性能高级学校。在线提供:http://webdiis.unizar.es/GISED/?q=news/matchbook ·Zbl 1235.93154号
[5] Beccuti M、Bibbona E、Horváth A、Sirovich R、Angius A、Balbo G(2014)通过随机微分方程分析Petri网模型。收录于:Ciardo G,Kindler E(eds)应用与Petri网和并发理论,LNCS第8489卷。施普林格,第273-293页·Zbl 1410.68247号
[6] Bordbar,B。;Giacomini,L。;Holding,DJ,《使用UML和Petri网的分布式制造系统设计》,182-196(2000),西班牙
[7] Briz JL、Colom J、Silva M(1994)《Petri网和线性使能函数的模拟IEEE系统、人和控制论国际会议》,第2卷,第1671-1676页
[8] Campos J,Silva M(1992)随机Petri网模型的结构技术和性能边界。收录于:Rozenberg G(ed)《Petri网进展》1992年,《计算机科学讲义》第609卷。施普林格,第352-391页
[9] Cornuejols G(2012)Gomory削减的持续故事。Documenta Mathematica-优化故事,第221-226页·1270.90005兹罗提
[10] David R,Alla H(2004)离散、连续和混合Petri网。柏林施普林格。(2010年第2版)·Zbl 1074.93002号
[11] DiCesare F、Harhalakis G、Proth JM、Silva M、Vernadat F(1993)《制造业中的Petri网实践》,查普曼和霍尔出版社
[12] Ethier S,Kurtz T(1986)《马尔可夫过程:表征与收敛》。约翰·威利·Zbl 0592.60049号
[13] Fraca E,Jülvez J,Silva M(2014a)《定时Petri网流态化的边界到达问题》,第11届离散事件系统国际研讨会(WODES’14),第142-148页,法国巴黎
[14] Fraca E,Jülvez J,Silva M(2014b)关于Petri网的流态化和标记同质性。非线性模拟混合系统12:3-19·Zbl 1373.68297号
[15] 加西亚·瓦利斯(García-Vallés),F。;Colom,J.,《网络系统中的隐含位置》(1999)
[16] Jacod J,Shiryaev A(2002),随机过程的极限定理。施普林格·兹比尔1018.60002
[17] Mahulea C,Recalde L,Silva M(2009)连续Petri网的基本服务器语义和性能单调性。离散事件动态系统19(2):189-212·Zbl 1169.93367号 ·doi:10.1007/s10626-008-0049-0
[18] Molloy MK(1982)《使用随机Petri网的性能分析》。IEEE跨计算31(9):913-917·doi:10.1109/TC.1982.1676110
[19] Recalde L,Mahulea C,Silva M(2006)《改进连续Petri网的分析和模拟》,第二届IEEE自动化科学与工程会议,中国上海,第7-12页
[20] Silva M(2016)《个体、种群和流体近似:基于Petri网的视角》。非线性分析混合系统22(11):72-97·Zbl 1415.93171号 ·doi:10.1016/j.nahs.2016.03.005
[21] Silva M,Jülvez J,Mahulea C,Vázquez CR(2011)《离散事件模型的流态化:连续Petri网的观察和控制》。离散事件动态系统:理论与应用21(4):427-497·兹比尔1235.93154 ·doi:10.1007/s10626-011-0116-9
[22] Silva M,Recalde L(2002)Petri网和完整性松弛:连续Petri网模型的观点。IEEE Trans-Syst Man Cybern 32(4):314-327·doi:10.1109/TSMCC.2002.806063
[23] Silva M、Teruel E、Colom JM(1998)《网络系统分析的线性代数和线性规划技术》。Lect Notes计算机科学1491:309-373·Zbl 0926.68086号 ·doi:10.1007/3-540-65306-6_19
[24] Teruel E、Colom JM、Silva M(1993)《Petri网模型无死锁线性分析——第二届欧洲控制会议论文集》,第2卷,北荷兰,第513-518页
[25] Vázquez CR,Silva M(2012)《随机连续Petri网:马尔科夫网模型的近似值》。IEEE Trans-Syst Man Cybern第A部分42(3):641-653·doi:10.1109/TSMCA.2011.2172416
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不声称其完整性或完全匹配。