哈菲迪,Y。;德文克,E.P。 使用Petri网对基于组件的系统进行重构建模的概念构建块。 (英语) Zbl 07618120号 J.日志。阿尔盖布。方法计划。 130,文章ID 100813,16 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hafidi}和\textit{E.P.de Vink},J.Log。阿尔盖布。方法程序。130,文章ID 100813,16 p.(2023;Zbl 07618120) 全文: 内政部
乔治·阿萨夫;莫妮卡·海纳;刘菲 为系统生物学着色模糊。 (英语) Zbl 1507.92030号 西奥。计算。科学。 875, 52-64 (2021).MSC公司:92立方厘米 92C40型 93元65角 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Assaf}等人,Theor。计算。科学。875,52-64(2021;Zbl 1507.92030) 全文: 内政部
希法·塔里克·阿什拉夫;阿伊莎·奥贝德;穆罕默德·塔里克·赛义德;纳兹,阿纳姆;法蒂玛·沙希德;艾哈迈德·贾米尔;阿姆贾德·阿里 肝细胞癌中TGF-(β1)和MMP-9相互作用及其动力学的正式模型。 (英语) Zbl 1497.92047号 数学。Biosci公司。工程师。 16,第5号,3285-3310(2019).MSC公司:92立方 PDF格式BibTeX公司 XML格式引用 \textit{S.T.Ashraf}等人,数学。Biosci公司。工程16,编号5,3285--3310(2019;Zbl 1497.92047) 全文: 内政部
大卫·吉尔伯特;莫妮卡·海纳;克里斯蒂安·罗尔 基于Petri网的DNA步行器电路的二维设计。 (英语) Zbl 1528.68118号 自然计算。 17,第1期,161-182(2018).MSC公司:2007年第68季度 2006年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Gilbert}等人,《自然计算》。17,第1号,161--182(2018;Zbl 1528.68118) 全文: 内政部
赫拉杰,莫斯塔法;刘菲;莫妮卡·海纳 基于多位点磷酸化的酵母细胞周期的高效建模,使用带有标记相关弧权重的彩色混合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) 全文: 内政部
劳拉·M·F·伯滕斯。;码头Kleijn;桑德·希勒(Sander C.Hille)。;莫妮卡·海纳;马西耶·库特尼;Verbeek,Fons J。 生物梯度形成建模:结合偏微分方程和Petri网。 (英语) Zbl 1417.92041号 自然计算。 15,第4期,665-675(2016).MSC公司:92C40型 92年第35季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.F.Bertens}等人,《自然计算》。15,第4号,665--675(2016;Zbl 1417.92041) 全文: 内政部
戴安娜·埃琳娜·格拉蒂;克里斯蒂安·格雷斯 组合有色Petri网,用于改进基于反应的模型。 (英语) Zbl 1401.68227号 Paulevé,Loíc(编辑)等人,第六届静态分析和系统生物学国际研讨会(SASB 2015)的后期报道,法国圣马洛,2015年9月8日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记326,51-72(2016)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.-E.光栅}和\textit{C.光栅},电子。注释Theor。计算。科学。32651--72(2016;Zbl 1401.68227) 全文: 内政部
瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲涅·塔哈尔 形式可靠性建模与分析:一项调查。 (英语) Zbl 1344.68200号 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学讲义9791。《人工智能讲义》,132-147(2016)。MSC公司:68吨15 60年第68季度 68问题85 87年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahmed}等人,Lect。票据计算。科学。9791、132--147(2016年;Zbl 1344.68200) 全文: 内政部 arXiv公司
黎丁顺;阮、胡武;阮文婷;Mai、Phuong-Nam;宝龙Pham-Duy;Quan,Thanh-Tho先生;埃蒂安·安德烈;劳雷·佩特鲁奇;刘,杨 PeCAn:Petri网的合成验证变得很容易。 (英语) Zbl 1448.68305号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8837, 242-247 (2014).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.-T.Le}等人,Lect。票据计算。科学。8837、242--247(2014;Zbl 1448.68305) 全文: 内政部
尼古拉·邦扎尼;芬斯特拉(K.Anton Feenstra);Wan Fokkink公司;雅普·赫林加 Petri网是生物学家最好的朋友。 (英语) Zbl 1402.92196号 Fages,François(编辑)等人,《宏观生物学中的形式方法》。2014年9月22日至24日在新喀里多尼亚努美阿举行的2014年FMMB第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10397-6/pbk)。计算机科学课程讲稿8738。生物信息学课堂讲稿,102-116(2014)。MSC公司:92立方厘米 92C40型 68问题85 92-04 PDF格式BibTeX公司 XML格式引用 \textit{N.Bonzanni}等人,Lect。票据计算。科学。8738,102-116(2014;Zbl 1402.92196) 全文: 内政部 链接
刘菲;莫妮卡·海纳 使用有色随机Petri网对膜系统进行建模。 (英语) 兹比尔1333.68109 自然计算。 12,第4期,617-629(2013).MSC公司:2005年第68季度 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Liu}和\textit{M.Heiner},自然计算。12,第4号,617--629(2013;Zbl 1333.68109) 全文: 内政部
赫拉杰,莫斯塔法;马丁·施瓦里克;莫妮卡·海纳 用于模拟真核细胞周期的混合Petri网。 (英语) Zbl 1395.92052号 Koutny,Maciej(编辑)等人,《Petri网和其他并发模型事务》VIII。柏林:施普林格出版社(ISBN 978-3-642-40464-1/pbk)。计算机科学8100课堂讲稿。《期刊副刊》,123-141(2013)。MSC公司:92立方37 PDF格式BibTeX公司 XML格式引用 \textit{M.Herajy}等人,Lect。票据计算。科学。8100、123--141(2013;Zbl 1395.92052) 全文: 内政部
马库斯·杜津斯基;沃尔夫冈·马尔旺;安尼格丽特·瓦格勒 使用逻辑控制函数从时间序列数据重建扩展Petri网。 (英语) Zbl 1259.68144号 数学杂志。生物。 66,编号1-2,203-223(2013).MSC公司:68问题85 68卢比 68页第10页 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Durzinsky}等人,J.Math。生物学66,编号1--2,203-223(2013;Zbl 1259.68144) 全文: 内政部
赫拉杰,莫斯塔法;莫妮卡·海纳 刚性生化网络的混合表示和模拟。 (英语) Zbl 1269.93061号 非线性分析。,混合系统。 6,第4期,942-959(2012).MSC公司:93元65角 93C40型 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Herajy}和\textit{M.Heiner},非线性分析。,混合系统。6,第4号,942--959(2012;Zbl 1269.93061) 全文: 内政部 链接
陈明;斯里达尔·哈里哈拉普特兰;拉尔夫·霍菲斯特;本杰明·科尔迈耶 大规模生物网络半自动构建的Petri网模型。 (英语) Zbl 1251.92012年 自然计算。 10,第3期,1077-1097(2011).MSC公司:92立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,《自然计算》。10,第3号,1077--1097(2011;Zbl 1251.92012) 全文: 内政部
波波瓦·齐格曼(Louchka Popova-Zeugmann) 时间相关Petri网的定量评估及其在生化网络中的应用。 (英语) Zbl 1251.68162号 自然计算。 10,第3期,1017-1043(2011).MSC公司:68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Popova-Zeugmann},自然计算。10,第3号,1017--1043(2011;Zbl 1251.68162) 全文: 内政部
莫妮卡·海纳;大卫·吉尔伯特 Petri网如何增强您的系统生物学工具包。 (英语) Zbl 1332.92021 Kristensen,Lars M.(编辑)等人,《Petri网的应用和理论》。2011年6月20日至24日,英国纽卡斯尔,第32届国际会议,PETRI NETS 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21833-0/pbk)。《计算机科学讲义》6709,17-37(2011)。MSC公司:92立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.海纳}和\textit{D.吉尔伯特},莱克特。票据计算。科学。6709,17-37(2011;Zbl 1332.92021) 全文: 内政部
马丁·施瓦里克;阿列克谢·托夫奇格里奇科 基于IDD的生化网络模型验证。 (英语) Zbl 1216.68197号 西奥。计算。科学。 412,第26号,2884-2908(2011).MSC公司:68问题85 03B44号 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Schwarick}和\textit{A.Tovchigrechko},Theor。计算。科学。412,第26号,2884--2908(2011;Zbl 1216.68197) 全文: 内政部
保罗·巴尔丹;尼科莱塔·科科;安德烈亚·马林;玛尔塔·西蒙 用于建模代谢途径的Petri网:一项调查。 (英语) Zbl 1206.68209号 自然计算。 9,第4期,955-989(2010).MSC公司:68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《自然计算》。9,第4号,955--989(2010;Zbl 1206.68209) 全文: 内政部