大卫·吉尔伯特;莫妮卡·海纳;克里斯蒂安·罗尔 基于Petri网的DNA步行器电路的二维设计。 (英语) Zbl 1528.68118号 自然计算。 第161-182号第17页(2018年).MSC公司:2007年第68季度 2006年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Gilbert}等人,《自然计算》。17,第1号,161--182(2018;Zbl 1528.68118) 全文: 内政部
卡洛斯·雷纳托·Vázquez;何塞·安东尼奥·戈梅斯·卡斯特拉诺斯;安东尼奥·拉米雷斯·特雷维尼奥 基于Petri网的电空系统跟踪控制。 (英语) Zbl 07765489号 Madani,Kurosh(编辑)等人,ICINCO 2018。第十五届控制、自动化和机器人信息学国际会议记录,葡萄牙波尔图,2018年7月29日至31日。分2卷。塞图巴尔:SCITEPRESS–科技出版物。344-354,第1卷(2018年)。MSC公司:93元65角 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Vázquez}等人,收录于:ICINCO 2018。第十五届控制、自动化和机器人信息学国际会议记录,葡萄牙波尔图,2018年7月29日至31日。分2卷。塞图巴尔:SCITEPRESS——科学技术出版物。344--354,第1卷(2018;Zbl 07765489) 全文: 内政部
沈荣宽;杨成英;Victor R.L.沈。;李伟晨;陈子永 基于高级模糊Petri网的股市预测系统。 (英语) Zbl 1469.91067号 国际期刊不确定性。模糊知识-基于系统。 26,第5号,771-808(2018).MSC公司:91G80型 68问题85 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.-K.Shen}等人,国际期刊《不确定性》。模糊知识-基于系统。26,第5号,771--808(2018;Zbl 1469.91067) 全文: 内政部
李慧;你,简欣;刘虎辰;广东省田市 基于区间二元组语言评估和扩展模糊Petri网的隐性知识获取和共享。 (英语) Zbl 1469.68113号 国际期刊不确定性。模糊知识-基于系统。 26,第1号,43-65(2018).MSC公司:68层37 68问题85 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.Li}等人,《国际期刊不确定性》。模糊知识-基于系统。26,第1号,43-65(2018;Zbl 1469.68113) 全文: 内政部
Dmitry A.扎伊采夫。 用无限Petri网模拟细胞自动机。 (英语) Zbl 1467.68128号 J.细胞。自动。 13,编号1-2,121-144(2018).MSC公司:68问题80 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Zaitsev},J.Cell。自动化。13、编号1--2、121-144(2018;Zbl 1467.68128) 全文: 链接
沃伊切赫,切尔文斯基;斯拉沃米尔·拉索塔;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;库马尔·纳拉扬。;普拉卡什·塞瓦桑 结构良好的过渡系统的规则可分性。 (英语) Zbl 1520.68092号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第35条,第18页(2018年)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人,LIPIcs--Leibniz国际程序。通知。118,第35条,第18页(2018;Zbl 1520.68092) 全文: 内政部 arXiv公司
本杰明·卡布雷拉;托拜厄斯·海因德尔;瑞科·赫克尔;巴巴拉·科尼格 使用贝叶斯网络更新条件/事件网络上的概率知识。 (英语) Zbl 1520.68090号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第27条,第17页(2018年)。MSC公司:68问题85 第68页,共15页 第68季度87 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.Cabrera}等人,LIPIcs——莱布尼茨国际程序。通知。118,第27条,第17页(2018;兹bl 1520.68090) 全文: 内政部 arXiv公司
彼得·霍夫曼;斯拉沃米尔·拉索塔 具有有序数据的线性方程组。 (英语) Zbl 1520.68094号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第24条,第17页(2018年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofman}和\textit{S.Lasota},LIPIcs——莱布尼茨国际程序。通知。118,第24条,第17页(2018;Zbl 1520.68094) 全文: 内政部 arXiv公司
阿米娜·杜马内;Damien Pous 无恒等Kleene格的完备性。 (英语) Zbl 1520.68055号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第18条,第17页(2018年)。MSC公司:65年第68季度 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Doumane}和\textit{D.Pous},LIPIcs——莱布尼茨国际程序。通知。118,第18条,第17页(2018;兹bl 1520.68055) 全文: 内政部
特雷杜普,罗尼;克里斯蒂安·罗森克 缩小了合成基本网络系统的硬度屏障。 (英语) Zbl 1520.68100号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第16条,第15页(2018年)。MSC公司:68问题85 2017年第68季度 68年第27季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Tredup}和\textit{C.Rosenke},LIPIcs——莱布尼茨国际程序。通知。118,第16条,第15页(2018;Zbl 1520.68100) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);拉杜·乔巴努;理查德·迈尔;帕特里克·托茨克 定时Petri网的通用安全是PSPACE完整的。 (英语) Zbl 1520.68085号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第6条,第15页(2018年)。MSC公司:68问题85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。118,第6条,第15页(2018;Zbl 1520.68085) 全文: 内政部 arXiv公司
Wil M.P.范德阿尔斯特。 发现“粘合”连接活动。利用单调性更快地学习地点。 (英语) Zbl 1462.68164号 de Boer,Frank(编辑)等人,这都是关于协调的。为庆祝Farhad Arbab毕生的科学成就而撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10865, 1-20 (2018).MSC公司:68T05型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst},莱克特。注释计算。科学。10865,1-20(2018;Zbl 1462.68164) 全文: 内政部
卡米利、马蒂奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;马蒂亚·蒙加 用于指定和验证基于微服务的流程流的正式框架。 (英语) Zbl 1461.68112号 Cerone,Antonio(编辑)等人,《软件工程和形式化方法》。2017年SEFM并置研讨会:2017年9月4日至5日,意大利特伦托,DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10729187-202(2018年)。MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Camilli}等人,Lect。注释计算。科学。10729187--202(2018;Zbl 1461.68112) 全文: 内政部
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 并发性和概率:从组成上消除混淆。 (英语) Zbl 1497.68329号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。195-204 (2018).MSC公司:68问题85 2010年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,摘自:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年LICS,英国牛津,2018年7月9日至12日。纽约州纽约市:计算机协会(ACM)。195-204(2018;Zbl 1497.68329) 全文: 内政部
伯恩德·芬克贝纳;保罗·哥尔斯 分布式环境中的合成。 (英语) 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;Zbl 1491.68121) 全文: 内政部 arXiv公司
曼努埃尔·恰西奥;胡安·恰西奥;达伦·普雷斯科特;约翰·安德鲁斯 用似然Petri网表示不确定知识的新范式。 (英语) Zbl 1440.68280号 信息科学。 453, 323-345 (2018).MSC公司:68立方英尺 68层35 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Chiachío}等人,《信息科学》。453323-345(2018;Zbl 1440.68280) 全文: 内政部
岳浩;邢克毅;胡和声;吴伟民;苏宏业 自动化制造系统的资源故障和缓冲空间分配控制。 (英语) Zbl 1448.93234号 信息科学。 450, 392-408 (2018).MSC公司:93C85号 93元65角 93B35型 93-10 PDF格式BibTeX公司 XML格式引用 \textit{H.Yue}等人,《信息科学》。450、392--408(2018;Zbl 1448.93234) 全文: 内政部
埃萨尼,Furqan Hussain;萨贾德·海德尔 一种将非对称多重旅行商问题映射到有色Petri网的算法。 (英语) Zbl 1461.90158号 算法(巴塞尔) 11,第10号,第143号论文,第15页(2018年).MSC公司:90立方厘米 90C27型 68瓦40 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.H.Essani}和\textit{S.Haider},算法(巴塞尔)11,第10号,论文编号143,15页(2018;Zbl 1461.90158) 全文: 内政部
戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 Petri网可解二进制字的一个有效特征。 (英语) Zbl 1427.68189号 Khomenko,Victor(编辑)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI NETS 2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10877, 207-226 (2018).MSC公司:68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}等人,Lect。注释计算。科学。10877,207--226(2018;Zbl 1427.68189) 全文: 内政部
雷蒙德·魔鬼队;Uli Schlachter公司 Petri网可解转移系统的因子分解。 (英语) Zbl 1427.68192号 Khomenko,Victor(编辑)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI NETS 2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10877, 82-98 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{U.Schlachter},Lect。注释计算。科学。10877,82-98(2018;Zbl 1427.68192) 全文: 内政部
雷蒙德·魔鬼队;托马斯·胡贾萨 加权标记图Petri网的分析与综合。 (英语) Zbl 1427.68191号 Khomenko,Victor(编辑)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI NETS 2018,布拉迪斯拉发,斯洛伐克,2018年6月24-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10877, 19-39 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{T.Hujsa},莱克特。注释计算。科学。10877,19-39(2018;Zbl 1427.68191) 全文: 内政部 哈尔
埃妮莎·多萝西,G。;伊曼纽尔·比乌拉 图标记Petri网。 (英语) Zbl 1423.68305号 东南亚数学杂志。数学。科学。 14,第3期,133-142(2018).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Enitha Dorothy}和\textit{I.Beulah},东南亚数学杂志。数学。科学。14,第3号,133--142(2018;Zbl 1423.68305)
瓦伦蒂安·瓦莱罗 时间弧Petri网中有很强的行为相似性。 (英语) Zbl 1427.68213号 申请。数学。计算。 333, 401-415 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero},应用。数学。计算。333401--415(2018;Zbl 1427.68213) 全文: 内政部 链接
周凯庆;桂伟华;莫、李平;阿兹兰·莫赫德·扎因 一种基于内推理路径的模糊Petri网双向诊断算法。 (英语) Zbl 1423.68320号 对称 10,第6号,第192号论文,15页(2018年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.-Q.Zhou}等人,Symmetry 10,No.6,论文编号192,15 p.(2018;Zbl 1423.68320) 全文: 内政部
穆罕默德·巴希尔;李志武;穆拉特·乌扎姆;吴乃琪;阿卜杜拉赫曼·阿赫马里 柔性制造系统活性增强Petri网监管器的结构约简:代数方法。 (英语) Zbl 1418.90101号 IMA数学杂志。控制信息。 第4号第35页,1217-1249页(2018).MSC公司:90B30型 90B25型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bashir}等人,IMA J.数学。控制信息35,编号4,1217--1249(2018;Zbl 1418.90101) 全文: 内政部 链接
邹敏;王洪春 利用Petri网模型求解因果图最小割集的算法。 (中文。英文摘要) Zbl 1424.68158号 J.重庆规范。大学,自然科学。 35,第3期,130-136(2018).MSC公司:68T27型 68问题85 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Zou}和\textit{H.Wang},J.重庆规范。大学,自然科学。35,第3号,130--136(2018;Zbl 1424.68158) 全文: 内政部
Wan、Jun;赵步辉 基于Petri网的非线性多变量系统解耦控制。 (中文。英文摘要) Zbl 1424.93105号 控制拒绝。 33,第9期,1713-1718(2018).MSC公司:93立方35 93立方厘米 93磅40 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Wan}和\textit{B.Zhao},控制决策。33,第9号,1713-1718(2018;Zbl 1424.93105) 全文: 内政部
Huseynzade,Sh.S。 Petri网自适应控制的自动化模型。 (英语) Zbl 1424.90037号 视力。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍甫琴卡 2018年第1期,55-59(2018).MSC公司:90B10型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{Sh.S.Huseynzade},维斯。,序列号。菲兹-马特·诺基,基辅。进出口大学。Tarasa Shevchenka 2018,编号1,55-59(2018;兹bl 1424.90037)
伊戈尔·瓦勒维奇·塔拉修克;赫梅内吉尔达·马西·索勒;瓦伦蒂安·瓦莱罗·鲁伊斯 dtsiPBC并发系统性能分析的随机等价性。 (英语) Zbl 1414.60062号 兄弟姐妹。È勒克特隆。Mat.Izv公司。 15, 1743-1812 (2018).MSC公司:60J20型 60J10型 60 K15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}等人,Sib。È勒克特隆。Mat.Izv公司。151743-1812(2018年;Zbl 1414.60062) 全文: 内政部 arXiv公司
Kryvyi,S.L。;S.D.波戈里利。;格利波茨,M.M。;Y.V.博伊科。;北卡罗来纳州Sydorova。 设计IT基础设施。 (英语。俄文原件) Zbl 1407.68049号 赛博。系统。分析。 54,第6号,977-992(2018); 翻译自Kibern。修女。分析。2018年第6期,141-158(2018)。MSC公司:68M10个 68平方米 68问题85 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}等人,Cybern。系统。分析。54,第6号,977--992(2018;Zbl 1407.68049);翻译自Kibern。修女。分析。2018年第6期,141--158(2018) 全文: 内政部
李朗;刘海 基于广义2型模糊Petri网的词模型计算。 (中文。英文摘要) Zbl 1424.68108号 J.华南规范。大学,自然科学。预计起飞时间。 50,编号3,120-128(2018).MSC公司:68问题85 68层37 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和\textit{H.Liu},J.华南规范。大学,自然科学。第50版,第3号,120-128(2018;Zbl 1424.68108) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;Uli Schlachter公司;哈罗·威梅尔 同时Petri网综合。 (英语) 兹比尔1424.68099 科学。Ann.计算。科学。 28,第2期,199-236(2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,科学。Ann.计算。科学。28,编号2199-236(2018;兹bl 1424.68099) 全文: 内政部
加布里埃尔·乔巴努(编辑) 高级Koutny网。 (英语) 1424.00005兹罗提 科学。Ann.计算。科学。 28,第2期,157-159(2018).MSC公司:00B15号机组 68-06 68问题85 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}(编辑),科学。Ann.计算。科学。28,第2号,157--159(2018;Zbl 1424.00005) 全文: 内政部
朱广辉;李志武;吴乃琪 使用部分观测Petri网的离散事件系统基于模型的故障识别。 (英语) Zbl 1406.93208号 Automatica公司 96, 201-212 (2018).MSC公司:93元65角 93B30型 90立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Zhu}等人,Automatica 96,201--212(2018;Zbl 1406.93208) 全文: 内政部
盖拉赞·马夫兰库洛夫;穆罕默德·奥斯曼;谢尔佐德·图雷夫;穆德·哈桑·塞拉玛;劳拉·朱马巴耶娃;塔马拉·朱卡巴耶娃 并发控制语法。 (英语) Zbl 1432.68212号 凯贝内提卡 54,第4期,748-764(2018).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Mavlankulov}等人,Kybernetika 54,No.4,748--764(2018;Zbl 1432.68212) 全文: 内政部 链接
最好的,艾克;托马斯·胡贾萨;哈罗·威梅尔 标记转移系统标记图可实现的充分条件。 (英语) Zbl 1473.68112号 西奥。计算。科学。 750, 101-116 (2018). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,Theor。计算。科学。750、101-116(2018;Zbl 1473.68112) 全文: 内政部 哈尔
托马斯·杰夫罗伊;勒鲁,杰罗姆;格雷戈伊尔·萨特雷 奥卡姆剃刀应用于Petri网覆盖问题。 (英语) Zbl 1402.68134号 西奥。计算。科学。 750, 38-52 (2018).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Geffroy}等人,Theor。计算。科学。750、38-52(2018;Zbl 1402.68134) 全文: 内政部 arXiv公司
张秀艳;穆拉特·乌扎姆;李志武;吴乃琪 关于使用全球闲置位置的柔性制造系统的活力增强监督员综合。 (英语) Zbl 1402.93120号 IMA数学杂志。控制信息。 35,第1期,165-182(2018).MSC公司:93亿B50 93元65角 93立方35 03C90号 90B35型 68问题85 93-04 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,IMA J.数学。控制信息35,No.1,165--182(2018;Zbl 1402.93120) 全文: 内政部
迈克尔·贝恩;阿什温·斯里尼瓦桑 使用元解释逻辑程序识别生物过渡系统。 (英语) Zbl 1461.68171号 机器。学习。 107,第7号,1171-1206(2018).MSC公司:68T05型 68N17号 68问题55 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bain}和\textit{A.Srinivasan},马赫。学习。107,第7号,1171--1206(2018;Zbl 1461.68171) 全文: 内政部
保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 具有持久性的Petri网的事件结构。 (英语) Zbl 1417.68113号 日志。方法计算。科学。 14,第3号,第25号论文,30页(2018年). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:68问题85 18立方厘米50 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《日志》。方法计算。科学。14,第3号,第25号论文,30页(2018;Zbl 1417.68113) 全文: 内政部 arXiv公司
赫洛莫兹达,D.K。;格利波茨,M.M。;O.M.马克西米茨。 自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网。 (英语。俄文原件) Zbl 1445.68141号 赛博。系统。分析。 54,第4期,650-661(2018); 翻译自Kibern。修女。分析。2018年,第4期,151-163(2018)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Hlomozda}等人,Cybern。系统。分析。54,第4号,650--661(2018;Zbl 1445.68141);翻译自Kibern。修女。分析。2018年第4期,151--163(2018) 全文: 内政部
Micha Skrzypczak Büchi VASS识别\(\mathbf{\ Sigma}^{1}_{1} \)-完整\({\omega}\)-语言。 (英语) Zbl 1475.68214号 Potapov,Igor(编辑)等人,《可达性问题》。2018年9月24日至26日在法国马赛举行的RP 2018第12届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11123, 133-145 (2018).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Skrzypczak},勒克特。注释计算。科学。11123、133--145(2018;Zbl 1475.68214) 全文: 内政部
高,纳;Han,晓光;陈增强;张,清 用矩阵方法分析有界Petri网系统的可观测性。 (中文。英文摘要) Zbl 1413.93013号 控制理论应用。 35,编号1,71-78(2018).MSC公司:93个B07 93元65角 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gao}等,控制理论应用。35、第1号、第71--78号(2018;Zbl 1413.93013) 全文: 内政部
丛、徐亚;玛丽亚·皮亚·范蒂;阿戈斯蒂诺·马塞洛(Agostino Marcello Mangini);李志武 用Petri网和整数线性规划对当前状态不透明度进行在线验证。 (英语) Zbl 1401.93043号 Automatica公司 94, 205-213 (2018).MSC公司:93个B07 93元65角 68问题85 93甲14 90立方厘米 93-04 PDF格式BibTeX公司 XML格式引用 \textit{X.Cong}等人,Automatica 94,205--213(2018;Zbl 1401.93043) 全文: 内政部
拉巴·阿穆尔;爱德华·勒克莱尔;埃里克·桑拉维尔;迪米特里·列斐伏尔 使用部分观测随机Petri网进行故障预测:一种增量方法。 (英语) Zbl 1398.93211号 离散事件动态。系统。 28,第2期,247-267(2018).MSC公司:93元65角 93E03型 93个B07 68问题85 93-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Ammour}等人,离散事件Dyn。系统。28,第2号,247--267(2018;Zbl 1398.93211) 全文: 内政部
托马斯·胡贾萨;雷蒙德·魔鬼队 加权Petri网子类的死锁性、活性和可逆性。 (英语) Zbl 1400.68135号 芬丹。通知。 161,第4期,383-421(2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hujsa}和\textit{R.Devillers},Fundam。通知。161,第4号,383--421(2018;Zbl 1400.68135) 全文: 内政部
贝拉德,贝特里奇;斯特凡·哈尔;西尔万·施密茨;斯特凡·施温 Petri网可诊断性和不透明度验证的复杂性。 (英语) Zbl 1401.68221号 芬丹。通知。 161,第4号,317-349(2018).MSC公司:68问题85 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Fundam。通知。161、4号、317--349(2018;Zbl 1401.68221) 全文: 内政部
李、本;马内尔省Khlif-Bouassida;阿尔芒·托盖尼 使用验证器网对有界和无界标记Petri网进行实时可诊断性分析。 (英语) Zbl 1396.93090号 国际期刊申请。数学。计算。科学。 28,第2号,269-281(2018).MSC公司:93元65角 93个B07 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Li}等人,国际期刊应用。数学。计算。科学。28,第2号,269--281(2018;Zbl 1396.93090) 全文: 内政部
贝内维迪斯,马里奥;布鲁诺·洛佩斯;爱德华·赫尔曼·哈乌斯勒 关于Petri网的推理:一种基于命题动态逻辑的方法。 (英语) Zbl 1401.68220号 西奥。计算。科学。 744,22-36(2018).MSC公司:68问题85 03B70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benevides}等人,Theor。计算。科学。744,22-36(2018;Zbl 1401.68220) 全文: 内政部
塔勒布,马尔瓦;爱德华·勒克莱尔;迪米特里·列斐伏尔 基于模型预测常数控制的时间连续Petri网控制设计。 (英语) Zbl 1397.93137号 国际J.控制 91,第8期,1962-1978(2018).MSC公司:93元65角 93亿B51 93D20型 68问题85 93-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Taleb}等人,国际期刊控制91,第8期,1962--1978(2018;Zbl 1397.93137) 全文: 内政部
巴奇拉·博图米;纳维尔·加尔比 用于改善WSN中的能量消耗和延迟的两个阈值工作休假策略。 (英语) Zbl 1397.90106号 Takahashi,Yutaka(编辑)等,排队论和网络应用。2018年7月25日至27日在日本筑波举行的2018年QTNA第13届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-93735-9/pbk;978-3-3169-93736-6/电子书)。计算机科学课堂讲稿10932,168-181(2018)。MSC公司:90B22型 60K25码 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Boutoumi}和\textit{N.Gharbi},Lect。注释计算。科学。10932、168--181(2018;Zbl 1397.90106) 全文: 内政部
马雷克·格拉博夫斯基;格热戈兹·波科塔;雅塞克·斯罗卡 验证描述基因调控、信号传递和全细胞代谢的定性分子网络中的动态行为。 (英语) Zbl 1395.92068号 芬丹。通知。 160,编号:1-2199-219(2018).MSC公司:92立方厘米 92C40型 90C05(二氧化碳) 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Grabowski}等人,Fundam。通知。160,编号1--2,199-219(2018;Zbl 1395.92068) 全文: 内政部
Frank Delaplace公司;辛齐亚·迪·朱斯托;吉安·卢伊斯·贾维托;汉娜·克劳代尔;斯皮彻,安托万 具有延迟的活动网络在毒性分析中的应用。 (英语) Zbl 1395.92061号 芬丹。通知。 160,编号1-2,119-142(2018).MSC公司:92C40型 68问题85 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{F.Delaplace}等人,Fundam。通知。160,编号1-2119-142(2018;兹bl 1395.92061) 全文: 内政部 arXiv公司
刘菲;陈思源 用于处理遗传调控网络的彩色模糊Petri网。 (英语) Zbl 1395.92063号 芬丹。通知。 160,编号1-2,101-118(2018).MSC公司:92C40型 92D10型 68问题85 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{F.Liu}和\textit{S.Chen},Fundam。通知。160,编号1--2,101-118(2018;Zbl 1395.92063) 全文: 内政部
朱尔·博尔登;米哈·莫什孔;尼古拉·齐米奇;米哈·姆拉兹 使用模糊逻辑和Petri网对未知参数值的基因调控过程进行半定量建模。 (英语) Zbl 1395.92059号 芬丹。通知。 160,编号1-2,81-100(2018).MSC公司:92C40型 92D10型 68问题85 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bordon}等人,Fundam。通知。160,编号1--2,81-100(2018;Zbl 1395.92059) 全文: 内政部
穆斯塔法·赫拉吉;莫妮卡·海纳 连续Petri网的自适应和生物语义:选择适当的解释。 (英语) Zbl 1395.92069号 芬丹。通知。 160,编号1-2,53-80(2018).MSC公司:92立方厘米 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Herajy}和\textit{M.Heiner},Fundam。通知。160,编号1--2,53-80(2018;Zbl 1395.92069) 全文: 内政部
保罗·巴尔丹;玛蒂娜·博奇;丹尼尔·布里戈林;尼科莱塔·科科;莫妮卡·海纳;玛尔塔·西蒙 用于建模和分析营养网络的Petri网。 (英语) 兹比尔1395.92182 芬丹。通知。 160,编号1-2,27-52(2018).MSC公司:92D40型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Fundam。通知。160,编号1--2,27-52(2018;Zbl 1395.92182) 全文: 内政部
黄一胜;翁义顺;周梦初 利用同步时间Petri网设计管制交通灯控制系统。 (英语) Zbl 1391.93143号 亚洲J.控制 20,第1期,174-185(2018).MSC公司:93元65角 90B20型 93立方厘米 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{Y.-S.Huang}et al.,Asian J.Control 20,No.1,174--185(2018;Zbl 1391.93143) 全文: 内政部
哈尼法·布切内布;卡梅尔·巴考伊 实时系统的时滞相关部分降阶技术。 (英语) Zbl 1484.68138号 实时系统。 54,第2期,278-306(2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{K.Barkaoui},实时系统。54,第2号,278--306(2018;Zbl 1484.68138) 全文: 内政部
Uli Schlachter公司 限制子类网的超逼近Petri网综合。 (英语) Zbl 1504.68147号 Klein,Shmuel Tomi(编辑)等人,《语言和自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10792, 296-307 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Schlachter},莱克特。注释计算。科学。10792,296--307(2018;Zbl 1504.68147) 全文: 内政部
德米特里·奇斯蒂科夫;克里斯托夫·哈斯;西蒙·哈尔丰 带整数计数器和重置的无上下文交换文法。 (英语) Zbl 1393.68087号 西奥。计算。科学。 735, 147-161 (2018).MSC公司:2012年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,Theor。计算。科学。735、147--161(2018;Zbl 1393.68087) 全文: 内政部 arXiv公司 链接
德波尔(Frank S。;马里奥·布拉维蒂;马蒂亚斯·李。;吉安路易吉·扎瓦塔罗 基于Petri网的活动对象和未来建模。 (英语) Zbl 1390.68489号 芬丹。通知。 159,第3号,197-256(2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,Fundam。通知。159,第3号,197--256(2018;Zbl 1390.68489) 全文: 内政部
穆罕默德·阿尔卡尼;里扎德·贾尼基 带约束弧的Petri网的区间语义。 (英语) Zbl 1390.68453号 西奥。计算。科学。 727, 1-23 (2018).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alqarni}和\textit{R.Janicki},Theor。计算。科学。727,1--23(2018;Zbl 1390.68453) 全文: 内政部
卡米拉Barylska;埃罗菲耶夫·叶夫根尼;马西耶·库特尼;乌卡斯·米库尔斯基;马钦·皮·特考夫斯基 有界Petri网中的反向转换。 (英语) Zbl 1390.68457号 芬丹。通知。 157,第4号,341-357(2018).MSC公司:68问题85 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Barylska}等人,Fundam。通知。157、4号、341--357(2018;Zbl 1390.68457) 全文: 内政部
税收,尼克;鲁、西溪;纳塔利娅·西多罗娃;德克·法兰德;Wil M.P.范德阿尔斯特。 过程挖掘中精确测量的不精确性。 (英语) Zbl 1476.68184号 Inf.流程。莱特。 135, 1-8 (2018).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Tax}等人,《信息处理》。莱特。135、1-8(2018年;Zbl 1476.68184) 全文: 内政部 arXiv公司
朱莉娅·帕德伯格;莱德·卡卢尔 可重构Petri网概述。 (英语) Zbl 1383.68056号 Heckel,Reiko(编辑)等人,《图形转换、规范和网络》。为了纪念哈特穆特·埃里格。查姆:施普林格(ISBN 978-3-319-75395-9/pbk;978-3-3169-75396-6/电子书)。《计算机科学讲义》10800201-222(2018)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Padberg}和\textit{L.Kahloul},莱克特。注释计算。科学。10800,201-222(2018;Zbl 1383.68056) 全文: 内政部
穆斯塔法·赫拉吉;刘菲;莫妮卡·海纳 基于多位点磷酸化的酵母细胞周期的高效建模,使用带有标记相关弧权重的彩色混合Petri网。 (英语) Zbl 1382.92117号 非线性分析。,混合系统。 27, 191-212 (2018).MSC公司:92立方37 92-08 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Herajy}等人,《非线性分析》。,混合系统。27191-212(2018;Zbl 1382.92117) 全文: 内政部
Panayioti C.伊安尼。;路易斯·内维斯(Luis C.Neves)。;多维尔·拉玛;约翰·安德鲁斯。 使用NVIDIA图形处理单元加速Petri网模拟。 (英语) Zbl 1374.68717号 欧洲药典。物件。 265,第1期,361-371(2018).MSC公司:68单位35 65二氧化碳 2005年5月 65日元10 68问题85 90B50型 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Yianni}等人,《欧洲药典》。第265号决议,第1号,361--371(2018;Zbl 1374.68717) 全文: 内政部 链接
保罗·巴尔丹;亚历山德罗·贝吉亚托 多级传递性和不传递性不干涉,因果性。 (英语) Zbl 1380.68292号 西奥。计算。科学。 706, 54-82 (2018).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{A.Beggiato},Theor。计算。科学。706、54-82(2018年;Zbl 1380.68292) 全文: 内政部 哈尔