保罗·汉尼拔;奥尔德罗格(Ernst-Rüdiger Olderog) 重复通信Petri博弈的综合问题。 (英语) Zbl 1499.68225号 Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).MSC公司:68问题85 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hannibal}和\textit{E.-R.Olderog},Lect。注释计算。科学。13288,236--257(2022;Zbl 1499.68225) 全文: 内政部
J.C.卡拉斯克尔。;梅切劳伊,K。 以对象为中心的基于重放的一致性检查:揭示需求线和局部偏差。 (英语) Zbl 1507.68212号 模型。分析。Inf.姐妹。 28,第2期,146-168(2021).MSC公司:68问题85 60年第68季度 91B68型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Carrasquel}和\textit{K.Mecheraoui},模型。分析。Inf.姐妹。28,第2号,146--168(2021;Zbl 1507.68212) 全文: 内政部 MNR公司
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 两层可达博弈的顽固集约简。 (英语) Zbl 1501.68002号 日志。方法计算。科学。 17,第1号,第21号论文,第26页(2021年). 审核人:马可·贝尼尼(科莫) MSC公司:68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,日志。方法计算。科学。17,第1号,第21号论文,第26页(2021;Zbl 1501.68002) 全文: arXiv公司 链接
伊萨·纳杰菲 使用有色Petri网对B2C电子商务中的电子信任进行决策建模和评估。 (英语) Zbl 1513.91025号 国际期刊非线性分析。申请。 11,编号1,355-366(2020).MSC公司:91B06型 90B50型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{I.Najafi},国际期刊《非线性分析》。申请。11,编号1,355--366(2020;Zbl 1513.91025) 全文: 内政部
西蒙娜·伯纳迪;克里斯蒂安·马胡利亚;豪尔赫·阿尔巴雷达 走向临床路径评估的决策支持系统。 (英语) 兹比尔1426.91059 离散事件动态。系统。 29,第1号,91-125(2019).MSC公司:91B06型 92 C50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Bernardi}等人,离散事件动态。系统。29,第1号,91-125(2019年;Zbl 1426.91059) 全文: 内政部 链接
沈荣宽;杨成英;Victor R.L.沈。;李伟晨;陈子永 基于高级模糊Petri网的股市预测系统。 (英语) Zbl 1469.91067号 国际J.不确定。模糊知道-基于系统。 26,第5号,771-808(2018).MSC公司:91克80 68问题85 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.-K.Shen}等人,国际期刊《不确定性》。模糊知道-基于系统。26,第5号,771--808(2018;Zbl 1469.91067) 全文: 内政部
伯恩德·芬克贝纳;保罗·哥尔斯 分布式环境中的合成。 (英语) Zbl 1491.68121号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第28条,第14页(2018年)。MSC公司:68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{P.Gölz},LIPIcs——莱布尼茨国际程序。通知。93,第28条,第14页(2018;兹bl 1491.68121) 全文: 内政部 arXiv公司
伯恩德·芬克贝纳;奥尔德罗格(Ernst-Rüdiger Olderog) Petri游戏:具有因果记忆的分布式系统的合成。 (英语) Zbl 1362.68211号 Inf.计算。 253,第2部分,181-203(2017).MSC公司:68问题85 2017年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{E.-R.Oderog},信息计算。253,第2部分,181--203(2017;Zbl 1362.68211) 全文: 内政部 arXiv公司
刘冠军 资源分配系统建模Petri网死锁问题的复杂性。 (英语) Zbl 1427.68205号 信息科学。 363, 190-197 (2016).MSC公司:68问题85 2017年第68季度 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{G.Liu},信息科学。363190-197(2016;Zbl 1427.68205) 全文: 内政部
威廉·海杰斯;多米尼克·J·D·休斯。 通过加性证明网和Petri网求和逻辑的复杂性边界。 (英语) Zbl 1394.68251号 2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年7月6日至10日,日本京都,LICS 2015。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。80-91 (2015).MSC公司:68问题85 03B70号 07年3月 03楼52 2017年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{W.Heijltjes}和\textit{D.J.D.Hughes},摘自:2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2015,日本京都,2015年7月6日至10日。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。80-91(2015;Zbl 1394.68251) 全文: 内政部
艾夫丁,A.N。;E.V.拉金。;诺维科夫,A.S。 博弈论中群体并发的数学建模。 (英语) Zbl 1361.68169号 J.计算。工程数学。 2015年第2期第3-12页.MSC公司:68问题85 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Ivutin}等人,《计算杂志》。工程数学。2、第2号、第3-12号(2015;Zbl 1361.68169) 全文: 内政部 MNR公司
艾夫丁,A.N。;E.V.拉金。 并发游戏的模拟。 (英语) Zbl 1337.68184号 维斯特。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。 8,第2期,43-54(2015).MSC公司:68问题85 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Ivutin}和\textit{E.V.Larkin},Vestn。尤日诺-乌拉尔。戈斯。州立大学。材料型号。程序。8,第2号,43-54(2015;Zbl 1337.68184) 全文: 内政部
雅克·杜帕克;奥利维·芬克尔;Jean-Pierre,雷斯亚尔 Petri网(\omega)语言的Wadge层次结构。 (英语) Zbl 1310.68130号 Brattka,Vasco(编辑)等人,《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林:De Gruyter(ISBN 978-1-61451-783-2/hbk;978-1-61481-804-4/电子书)。Ontos数学逻辑4,109-138(2014)。MSC公司:65年第68季度 05年3月 03E15年 2005年第68季度 2015年第68季度 68问题85 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{J.Duparc}等人,《Ontos数学》。日志。4、109--138(2014;Zbl 1310.68130)
迈克尔·科勒-布·迈耶 使用工作流网络的展开定义多方妥协。 (英语) Zbl 1302.90069号 芬丹。通知。 128,编号1-2,97-111(2013).MSC公司:90B30型 91立方厘米38 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Köhler-Bußmeier},芬丹。通知。128,编号1--2,97-111(2013;Zbl 1302.90069) 全文: 内政部
阿卜杜拉希姆·本菲基尔;萨米尔·哈马奇;穆门·达切里夫 为适应行为分配加权T系统的资源。 (英语) Zbl 1362.93102号 国际期刊运营。物件。 14,第1期,31-49(2012).MSC公司:93元65角 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{A.Benfekir}等人,国际期刊Oper。第14号决议,第1号,第31-49号(2012年;Zbl 1362.93102) 全文: 内政部
托马索·罗西;玛格丽塔·佩罗 一种分析和评估供应链运营风险的正式方法。 (英语) Zbl 1362.90101号 国际期刊运营。物件。 13,第1期,90-109(2012).MSC公司:90B06型 91B30型 62第20页 PDF格式BibTeX公司 XML格式引用 \textit{T.Rossi}和\textit{M.Pero},国际期刊Oper。第13号决议,第1号,90--109(2012;Zbl 1362.90101) 全文: 内政部
杨欣;杨浦;费淑敏 基于资源分配混合Petri网的混合系统建模。 (中文。英文摘要) Zbl 1212.93218号 控制拒绝。 24,第12期,1831-1835(2009).MSC公司:93元65角 91立方厘米38 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,《控制决策》。24,第12号,1831--1835(2009;Zbl 1212.93218)
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·布瓦贾尼;朱利安·多尔索 单调和向下封闭游戏。 (英语) Zbl 1133.68042号 J.日志。计算。 18,第1期,153-169(2008).MSC公司:60年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,J.Log。计算。18,第1号,153--169(2008;Zbl 1133.68042) 全文: 内政部 链接
刘凯文·F·R。 用于集成定量和定性决策的高级模糊Petri网模型。 (英语) Zbl 1298.91076号 国际J.不确定。模糊知道-基于系统。 15,第3期,253-284(2007).MSC公司:91B06型 68问题85 91B76号 PDF格式BibTeX公司 XML格式引用 \textit{K.F.R.Liu},国际期刊不确定性。模糊知道-基于系统。15,第3号,253--284(2007;Zbl 1298.91076) 全文: 内政部
D.G.卡梅隆。;Carvajal-Schiaffo,R。;C·尼克尔森。;斯托金格,K。;F.齐尼。;A.P.米勒。;塞拉菲尼。 数据网格基于代理优化策略的形式化分析。 (英语) Zbl 1113.68305号 多代理网格系统。 第2期,第149-162页(2006年).MSC公司:68M10个 68个M12 64岁以下 68问题85 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cameron}等人,《多智能体网格系统》。2,编号2149-162(2006年;兹bl 1113.68305) 全文: 内政部
兹维·雷奇基曼 变得不稳定可能是一种良好的动力学特性。 (英语) Zbl 1096.93029号 《国际纯粹应用杂志》。数学。 15,第1期,65-73(2004). 审核人:罗莎·玛丽亚·比安奇尼(费伦泽) MSC公司:93D05型 93C55美元 39甲11 68问题85 91B28型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Retchkiman},国际期刊Pure Appl。数学。15,第1号,65--73(2004;Zbl 1096.93029)
J·德纳特。;弗赖海特,J。;齐默尔曼,A。 业务流程中时间方面的建模和评估。 (英语) Zbl 1139.91355号 《运营杂志》。Res.Soc公司。 53,第9期,1038-1047(2002).MSC公司:91立方厘米38 91B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dehnert}等人,J.Oper。Res.Soc.53,No.9,1038--1047(2002;Zbl 1139.91355) 全文: 内政部
Park,Jonghun公司;Reveliotis,Spyros A。 具有多资源获取和灵活路由的顺序资源分配系统中的死锁避免。 (英语) Zbl 1045.93034号 IEEE传输。自动。控制 46,第10期,1572-1583(2001). 审核人:卡尔·海因茨·沃尔德曼(卡尔斯鲁厄) MSC公司:93元65角 68问题85 90B80型 90立方厘米 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}和\textit{S.A.Reveliotis},IEEE Trans。自动。控制46,编号10,1572--1583(2001;Zbl 1045.93034) 全文: 内政部
洛杉矶阿尼西莫娃。 平衡Petri网。 (乌克兰语。英文摘要) Zbl 0978.91061号 视力。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍夫琴卡 2000年,第1期,第155-160页(2000年).MSC公司:91B54号 91B76号 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Anisimova},视觉。,序列号。菲兹-马特·诺基,基辅。进出口大学。Tarasa Shevchenka 2000,第1号,155--160(2000;Zbl 0978.91061)
高原,布里吉特;威廉·斯图尔特。 随机自动机网络。 (英语) Zbl 0945.65010号 温弗里德·格拉斯曼(编辑),《计算概率》。波士顿:Kluwer学术出版社。国际序号。操作。资源管理。科学。24, 113-151 (2000). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:65 C50 90B15号机组 68问题85 91B70型 PDF格式BibTeX公司 XML格式引用 \textit{B.Plateau}和\textit{W.J.Stewart},国际Ser。操作。资源管理。科学。24、113--151(2000年;Zbl 0945.65010)
阿巴斯·K·扎伊迪。;亚历山大·利维斯(Alexander H.Levis)。 决策规则的验证和验证。 (英语) Zbl 0869.90003号 Automatica公司 33,第2期,155-169(1997).MSC公司:91B06型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Zaidi}和\textit{A.H.Levis},Automatica 33,No.2,155--169(1997;Zbl 0869.90003) 全文: 内政部
阿里·M·拉马丹 生产策略的Petri网建模。 (英语) Zbl 0939.91016号 视力。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍夫琴卡 1996年,第2期,176-182(1996). 审核人:O.A.Voina(基辅) MSC公司:91A24型 93A30型 90B30型 90B60毫米 PDF格式BibTeX公司 XML格式引用 \文本{M.R.Ali},Visn。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍甫琴卡1996,第2期,176--182(1996;Zbl 0939.91016)
罗德尼·G·唐尼。;研究员Michael R。;布鲁斯·卡普伦。;Michael T.哈利特。;H.Todd,Wareham 逻辑和语言学中一些问题的参数化复杂性。 (英语) Zbl 0946.03046号 Nerode,A.(编辑)等人,LFCS’94,计算机科学的逻辑基础。第三届国际研讨会,俄罗斯圣彼得堡,1994年7月11日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。813, 89-100 (1994).MSC公司:2015年3月1日 2015年第68季度 2012年第68季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}等人,Lect。注释计算。科学。813,89--100(1994;Zbl 0946.03046)
哈哈拉基斯(G.Harhalakis)。;J.M.普罗斯。 现代生产系统的设计和使用中存在一些开放性问题。 (英语) Zbl 0800.90496号 申请。随机模型数据分析。 7,第1期,33-45(1991).MSC公司:90B30型 91立方厘米38 PDF格式BibTeX公司 XML格式引用 \textit{G.Harhalakis}和\textit{J.M.Proth},应用。随机模型数据分析。7,第1号,33-45(1991年;兹bl 0800.90496) 全文: 内政部 链接
汉斯·沃纳·波尔 Petri网游戏。 (英语) Zbl 0539.68052号 Elektron公司。通知-藜芦。凯伯内提克 19, 235-244 (1983). 审核人:F.凹槽 MSC公司:68问题85 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{H.W.Pohl},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息19,235--244(1983;Zbl 0539.68052)