×

找到55个文档（结果1-55）

最新的 引文 关联
赫洛莫兹达，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年，第4151-163号（2018）
全文： DOI程序
戴安娜·埃琳娜·格拉蒂;克里斯蒂安·格雷斯

组合有色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.光栅}，电子。理论注释。计算。科学。32651--72（2016；Zbl 1401.68227）
全文： DOI程序
王琪;李志武;王安荣;阿卜杜拉赫曼·M·阿尔·阿赫马里。;阿卜杜勒·阿齐兹·穆罕默德·埃尔·塔米米;Emad Abouel Nasr

一个多才多艺的监督员，有一个基于宏观货币的监督器。 （英语） Zbl 1293.93528号

IMA数学杂志。控制信息。 31，第2期，245-256（2014）.
MSC公司：93元65角 93甲13
PDF格式BibTeX公司 XML格式引用
\textit{Q.Wang}等人，IMA J.Math。控制信息31，No.2，245--256（2014；Zbl 1293.93528）
全文： DOI程序
Wil M.P.范德阿尔斯特。;克里斯蒂安·斯塔尔;迈克尔·韦斯特加德

使用有色Petri网对复杂过程建模的策略。 （英语） Zbl 1382.68157号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》VII。柏林：施普林格出版社（ISBN 978-3-642-38142-3/pbk）。计算机科学课堂讲稿7480。《期刊副刊》，6-55（2013）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}等人，Lect。注释计算。科学。7480，6--55（2013；Zbl 1382.68157）
全文： DOI程序
托马斯·梅隆德;安德斯·霍勒格尔（Anders E.Halager）。;迈克尔·韦斯特加德

使用有色Petri网构建合并隐马尔可夫模型：从人口统计规范到有效推理方法的自动转换。 （英语） Zbl 1358.92069号

Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347，32-50（2012）。
MSC公司：92D15型 62平方米 68问题85 92D10型 92D20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Mailund}等人，Lect。注释计算。科学。7347，32-50（2012；Zbl 1358.92069）
全文： DOI程序
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯

将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 （英语） Zbl 1243.68042号

科学。计算。程序。 77，第3号，290-313（2012）.
MSC公司：68英里11 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Valero}等人，科学。计算。程序。77，第3号，290-313（2012年；兹bl 1243.68042）
全文： DOI程序
里卡多·J·马查多。;Joáo M.费尔南德斯。;乔安·巴罗斯。;路易斯·戈麦斯

工业信息系统中基于场景的建模。 （英语） Zbl 1198.68294号

Hinchey，Mike（编辑）等人，《分布式、并行和生物启发系统》。2010年9月20日至23日，作为WCC 2010的一部分，在澳大利亚布里斯班举行了第七届IFIP TC 10工作会议（DIPES 2010）和第三届IFIP TC10国际会议（BICC 2010）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15233-7/hbk；978-3-442-15234-4/电子书）。IFIP信息和通信技术进展329，19-30（2010）。
MSC公司：68单位35 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛R.J.Machado｝等人，IFIP Adv.Inf.Commun。Technol公司。329、19-30（2010年；Zbl 1198.68294）
全文： DOI程序
程菲;何善君

如何基于有色时间Petri网构建自动化仓库。 （英语） Zbl 1205.68240号

Sobh，Tarek（ed.）等人，《计算科学和软件工程的创新》，2009年第二届系统、计算科学与软件工程国际会议论文集，2009年12月4日至12日。多德雷赫特：施普林格（ISBN 978-90-481-9111-6/hbk；978-90-981-9112-3/电子书）。227-233 (2010).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Cheng}和\textit{S.He}，in：计算科学和软件工程的创新。2009年第二届系统、计算科学与软件工程国际会议论文集，2009年12月4日至12日。多德雷赫特：施普林格。227-233（2010年；兹比尔1205.68240）
全文： DOI程序
黄和娇;赫莱内·基什内尔

基于组件的彩色Petri网安全策略设计。 （英语） Zbl 1253.68242号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。《计算机科学讲义》5700，21-42（2009）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Huang}和\textit{H.Kirchner}，Lect。注释计算。科学。5700，21-42（2009；Zbl 1253.68242）
全文： DOI程序
克劳迪娅·特乌布纳;赛尔克·埃克斯坦

作为并发反应系统的信号转导途径：使用LSC和Play-Engine的建模和仿真方法。 （英语） Zbl 1279.68267号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，149-164（2008）。
MSC公司：68问题85 92立方37
PDF格式BibTeX公司 XML格式引用
\textit{C.Täubner}和\textit{S.Eckstein}，电子。理论注释。计算。科学。194，第3号，149--164（2008；Zbl 1279.68267）
全文： DOI程序
罗伦娜·查瓦里亚·贝兹;李晓鸥

主动基于规则的系统的知识验证。 （英语） Zbl 1147.68048号

Huang，De-Shuang（编辑）等，《智能控制与自动化》。2006年8月16日至19日，国际智能计算大会，中国昆明。柏林：施普林格出版社（ISBN 3-540-37255-5/pbk）。控制与信息科学课堂讲稿344676-687（2006）。
审核人：弗洛里安·迪德里奇（基尔）
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Chavarría-Báez}和\textit{X.Li}，莱克特。票据控制信息科学。344676--687（2006年；Zbl 1147.68048）
比约纳，迪内斯
[Christian Krog，马德森]

软件工程2。系统和语言规范。Christian Krog Madsen的贡献。 （英语） Zbl 1095.68021号

理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 3-540-21150-0/hbk）。第二十四、777页。(2006).
审核人：都铎·巴勒内斯库（皮特斯蒂）
MSC公司：68号30 68甲15 68N20型 68问题65 65年第68季度 68问题85 68-01
PDF格式BibTeX公司 XML格式引用
\textit{D.Björner}，软件工程2。系统和语言规范。Christian Krog Madsen的贡献。柏林：施普林格出版社（2005；Zbl 1095.68021）
全文： DOI程序
熊宝安;高淳浩

通过有色时间Petri网的时间记忆调度实现实时嵌入式软件的形式化合成。 （英语） Zbl 1270.68052号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，140-159（2002）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.-A.Hsiung}和\textit{C.-H.Gau}，电子。理论注释。计算。科学。65，第6号，140--159（2002；Zbl 1270.68052）
全文： DOI程序
巴尼亚雷斯，J.A。;穆罗·梅德拉诺。;维拉罗埃尔。;F.J.扎拉扎加。

KRON：基于CPN与对象集成的知识工程方法。 （英语） Zbl 0976.68587号

Agha，Gul A.（编辑）等，并发面向对象编程和Petri网。Petri网的进展。柏林：斯普林格。莱克特。注释计算。科学。2001, 355-374 (2001).
MSC公司：68单位99 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Bañares}等人，Lect。注释计算。科学。2001年，355--374（2001年；Zbl 0976.68587）
全文： 链接
托马斯·泰尔克

有色Petri网的描述、精化和分析的线性代数方法。（线性代数Methoden zur Beschreibung，Verfeinerung and Analyse gefärbter Petrinetze） （德语） Zbl 0969.68108号

奥尔登堡：奥尔登堡大学，Fachbereich Informatik，236，4 S.（2000）。
MSC公司：68问题85 68-02
PDF格式BibTeX公司 XML格式引用
\textit{T.Thielke}，线性代数方法zur Beschreibung，Verfeinerung和分析gefärbter Petrinetze。奥尔登堡：奥尔登堡大学，Fachbereich Informatik（2000；Zbl 0969.68108）
哈尼·阿马尔;哈立德·拉提夫;Vinay Mogulothu公司;图拉吉·尼扎德

大型软件系统的风险评估和性能分析方法。 （英语） Zbl 0905.68096号

Shehab，Moufeed（编辑）等人，第三届工程数学和物理国际会议，埃及开罗，1997年12月23日至25日。第1卷和第2卷。开罗：开罗大学工程学院，198-219（1997）。
MSC公司：68问题85 60年第68季度 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{H.Ammar}等人，in：第三届工程数学和物理国际会议，埃及开罗，1997年12月23日至25日。第1卷和第2卷。开罗：开罗大学工程学院.198-219（1997；Zbl 0905.68096）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件