俞宗贤 拓扑反向镜像:一种基于知识的Petri网可达性分析新方法。 (英语) Zbl 1500.93006号 国际J.控制 95,第10号,2597-2610(2022).MSC公司:93个B03 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Yu},国际期刊控制95,第10期,2597--2610(2022;Zbl 1500.93006) 全文: 内政部
李绍勇;赵春润 一种使用控制转换的死锁控制算法,用于用Petri网建模的柔性制造系统。 (英语) Zbl 1483.93405号 国际期刊系统。科学。,普林克。申请。系统。集成。 51,第5期,771-785(2020年).MSC公司:93元65角 93个B03 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Shaoyong}和\textit{Z.Chunrun},国际期刊系统。科学。,普林克。申请。系统。集成。51,第5号,771--785(2020;Zbl 1483.93405) 全文: 内政部
你,丹;王寿光;周梦初 一类基于问题分解的Petri网中严格极小虹吸管的计算。 (英语) Zbl 1429.68150号 信息科学。 409-410, 87-100 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.You}等人,《信息科学》。409--410、87-100(2017年;Zbl 1429.68150) 全文: 内政部
赵丹玉;俞宗贤 具有Petri网左侧非共享资源位置的k阶S3PR系统控制相关状态的基本闭式解。 (英语) Zbl 1332.93256号 国际J.控制 89,第1期,169-178(2016).MSC公司:93元65角 93甲15 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Y.Chao}和\textit{T.H.Yu},国际期刊控制89,第1期,169--178(2016;Zbl 1332.93256) 全文: 内政部
赵丹玉 FMS简单子类可达状态数的递归解。 (英语) Zbl 1307.93250号 国际期刊系统。科学。,普林克。申请。系统。集成。 45,第3号,702-710(2014).MSC公司:93元65角 90B30型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{D.Y.Chao},国际期刊系统。科学。,普林克。申请。系统。集成。45,第3号,702--710(2014;Zbl 1307.93250) 全文: 内政部
波波瓦·齐格曼(Louchka Popova-Zeugmann) 时间相关Petri网的定量评估及其在生物化学网络中的应用。 (英语) Zbl 1251.68162号 自然计算。 10,第3期,1017-1043(2011).MSC公司:68问题85 第92页第42页 PDF格式BibTeX公司 XML格式引用 \文本{L.Popova-Zeugmann},国家计算机。10,第3号,1017--1043(2011;Zbl 1251.68162) 全文: 内政部
Chaouiya,C。;A.纳尔迪。;雷米,E。;蒂夫里,D。 多值逻辑调控图的Petri网表示。 (英语) Zbl 1217.68149号 自然计算。 10,第2期,727-750(2011).MSC公司:68问题85 第92页第42页 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{C.Chaouiya}等人,《自然计算》。10,第2号,727--750(2011;Zbl 1217.68149) 全文: 内政部
埃尔梅森·安德拉德;保罗·马西尔;布鲁诺·诺盖拉;卡洛斯·阿劳约;古斯塔沃·卡卢 一种基于COTS的嵌入式实时系统性能和能耗估算方法。 (英语) Zbl 1234.68283号 信息处理。莱特。 110,第14-15号,525-534(2010).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Andrade}等人,《信息处理》。莱特。110,编号14-15,525--534(2010;Zbl 1234.68283) 全文: 内政部
赵、米;李志武;胡和蒜 利用部分虹吸枚举和数学规划对一类广义Petri网进行次优生命增强监督设计。 (英语) Zbl 1202.90120 国际期刊系统。科学。 41,编号9,1013-1026(2010).MSC公司:90B30型 68问题85 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhao}等人,国际期刊系统。科学。41,第9号,1013--1026(2010;Zbl 1202.90120) 全文: 内政部
J.基尔巴萨。;博特菲尔德,R。;舒斯特,S。;科赫,I。 利用Petri网对人类细胞选择性剪接中的U1-snRNP组装途径进行建模。 (英语) Zbl 1158.92016年9月 计算。生物化学。 33,第1号,46-61(2009).MSC公司:92C40型 68问题85 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{J.Kielbassa}等人,计算。生物化学。33,第1号,46-61(2009;Zbl 1158.92016) 全文: 内政部
托马斯·布尔迪厄胡伊;萨伊德·哈纳菲;尹,帕斯卡 Petri网可达性问题的数学规划方法。 (英语) Zbl 1102.90008号 欧洲药典。物件。 177,第1期,176-197(2007).MSC公司:90B10型 90立方 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourdeaud'huy}等人,欧洲期刊Oper。第177号决议,第1号,176--197(2007年;Zbl 1102.90008) 全文: 内政部
范德阿尔斯特,W.M.P。 基于Petri网的调度。 (英语) Zbl 0865.90077号 OR演讲 18,第4期,219-229(1996).MSC公司:90B35型 90B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst},OR Spektrum 18,No.4,219--229(1996;Zbl 0865.90077) 全文: 内政部