×

找到19个文档(结果1-19)

组合有色Petri网,用于改进基于反应的模型。 (英语) Zbl 1401.68227号

Paulevé,Loíc(编辑)等人,第六届静态分析和系统生物学国际研讨会(SASB 2015)的后期报道,法国圣马洛,2015年9月8日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记326,51-72(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式可靠性建模与分析:一项调查。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用

PeCAn:Petri网的合成验证变得很容易。 (英语) Zbl 1448.68305号

Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8837, 242-247 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Petri网是生物学家最好的朋友。 (英语) Zbl 1402.92196号

Fages,François(编辑)等人,《宏观生物学中的形式方法》。2014年9月22日至24日在新喀里多尼亚努美阿举行的2014年FMMB第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10397-6/pbk)。计算机科学课程讲稿8738。生物信息学课堂讲稿,102-116(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于模拟真核细胞周期的混合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格式引用
全文: 内政部

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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份