×

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

最新的 引文 关联
安德烈亚·贝卡;文森特·达诺斯

同步平衡分析。 （英文） Zbl 1428.92034号

Cinquemani，Eugenio（编辑）等人，《混合系统生物学》。第五届国际研讨会，HSB 2016，法国格勒诺布尔，2016年10月20日至21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9957, 85-94 (2016).
MSC公司：92立方厘米 92C45型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Beica}和\textit{V.Danos}，莱克特。注释计算。科学。9957，85-94（2016；Zbl 1428.92034）
全文： 内政部 链接 链接
王晶晶;Han，晓光;陈增强;张，清

一种改进的基于矩阵半张量积的Petri网信标和最小信标算法。 （英文） Zbl 1489.68172号

贾英敏（编辑）等，《2016年中国智能系统会议论文集》，厦门，中国。第二卷。新加坡：斯普林格。莱克特。注释Electr。工程405，371-386（2016）。
MSC公司：68问题85 15A24号 15A69号
PDF格式BibTeX公司 XML格式引用
\textit{J.Wang}等人，Lect。注释Electr。工程405，371--386（2016；Zbl 1489.68172）
全文： 内政部
兹比格尼乌·苏拉吉;彼得·格罗乔瓦尔斯基;Bandyopadhyay，锡巴斯

基于规则系统的柔性广义模糊Petri网。 （英文） Zbl 1398.68522号

Martín-Vide，Carlos（编辑）等人，《自然计算的理论与实践》。2016年12月12日至13日，第五届国际会议，TPNC 2016，日本仙台。诉讼程序。查姆：施普林格（ISBN 978-3-319-49000-7/pbk；978-3-3169-49001-4/电子书）。计算机科学课堂讲稿10071196-207（2016）。
MSC公司：68立方英尺 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Z.Suraj}等人，Lect。注释计算。科学。10071、196--207（2016；Zbl 1398.68522）
全文： 内政部
Bandyopadhyay，锡巴斯;兹比格尼乌·苏拉吉;彼得·格罗乔瓦尔斯基

直觉模糊环境中改进的广义加权模糊Petri网。 （英文） Zbl 1398.68527号

Flores，Víctor（编辑）等人，《粗糙集》。2016年10月7日至11日在智利圣地亚哥举行的2016年IJCRS国际联合会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-47159-4/pbk；978-3-3169-47160-0/电子书）。计算机科学9920课堂讲稿。人工智能课堂讲稿，342-351（2016）。
MSC公司：68层37 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Bandyopadhyay}等人，Lect。注释计算。科学。9920，342--351（2016；Zbl 1398.68527）
全文： 内政部
陈晓亮;李志武;吴乃琪;阿卜杜拉赫曼·M·阿尔·阿赫马里。;阿卜杜勒阿齐兹·穆罕默德;阿布勒·纳斯尔，Emad S。

通过P/E约束和监督控制避免离散事件系统的混淆。 （英文） Zbl 1397.93135号

IMA数学杂志。控制信息。 33，第2号，309-332（2016）.
MSC公司：93元65角 93甲13 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}等人，IMA J.Math。控制信息33，No.2，309--332（2016；Zbl 1397.93135）
全文： 内政部
董晓菊;伏玉溪;丹尼尔·瓦拉卡

为开放Petri网放置互模拟和活性。 （英文） Zbl 1393.68113号

Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。查姆：施普林格（ISBN 978-3-319-47676-6/pbk；978-3-3169-47677-3/电子书）。计算机科学讲座笔记9984，1-17（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{X.Dong}等人，Lect。注释计算。科学。9984，1-17（2016；Zbl 1393.68113）
全文： 内政部
戴安娜·埃琳娜·格拉蒂;克里斯蒂安·格雷斯

组合有色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）
全文： 内政部
乌里·施拉赫特

模态转换系统的有界Petri网综合是不可判定的。 （英文） Zbl 1392.68315号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第15条，第14页（2016年）。
MSC公司：68问题85 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{U.Schlachter}，LIPIcs——莱布尼茨国际程序。通知。59，第15条，第14页（2016年；Zbl 1392.68315）
全文： 内政部
马文·特里贝尔;苏尔梅利，简

代数Petri网的齐次方程。 （英文） Zbl 1392.68317号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第14条，第14页（2016年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Triebel｝和\textit｛J.Sürmeli｝，LIPIcs——莱布尼茨国际会议记录。通知。59，第14条，第14页（2016年；兹bl 1392.68317）
全文： 内政部 arXiv公司
Leonid W.德沃赞斯基。

具有有限紧急性的嵌套Petri网的一致时间语义。 （英文） Zbl 1433.68249号

Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9884, 3-18 (2016).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.W.Dworzanski}，莱克特。注释计算。科学。9884，3-18（2016；Zbl 1433.68249）
全文： 内政部
克里斯托夫·哈斯;彼得·霍夫曼

加强了交换文法等价问题的复杂性。 （英文） Zbl 1388.68154号

Ollinger，Nicolas（编辑）等人，第33届计算机科学理论方面研讨会，2016年STACS，法国奥尔良，2016年2月17日至20日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-001-9）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学杂志47，第41条，第14页（2016）。
MSC公司：2012年第68季度 2017年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛C.Haase｝和\textit｛P.Hofman｝，LIPIcs——莱布尼茨国际期刊。通知。47，第41条，第14页（2016年；兹bl 1388.68154）
全文： 内政部 arXiv公司
杰罗姆·勒鲁;西尔万·施密茨

向量加法系统的理想分解（邀请演讲）。 （英文） Zbl 1388.68199号

Ollinger，Nicolas（编辑）等人，第33届计算机科学理论方面研讨会，2016年STACS，法国奥尔良，2016年2月17日至20日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-001-9）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学杂志47，Article 1，13 p.（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Leroux}和\textit{S.Schmitz}，LIPIcs——莱布尼茨国际程序。通知。47，第1条，第13页（2016年；Zbl 1388.68199）
全文： 内政部
斯特凡·哈尔;西蒙·泰辛

解耦客流以改进负荷预测。 （英文） Zbl 1408.90037号

Agha，Gul（编辑）等人，《系统的定量评估》。2016年8月23日至25日，第13届国际会议，QEST 2016，加拿大魁北克市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9826, 364-379 (2016).
MSC公司：90B06型 60 H10型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Haar}和\textit{S.Theissing}，莱克特。注释计算。科学。9826、364--379（2016；Zbl 1408.90037）
全文： 内政部 哈尔
戈托夫采夫，P.M。;亚·谢尔盖娃。E。;科莫瓦，A.V。;科诺娃，I.A。;戈林，K.V。;巴德拉诺娃，G.U。;波吉达耶夫（V.M.Pojidaev）。;瓦西洛夫，R.G。

细胞内过程的数学模型。 （英文） Zbl 1397.92162号

国际数学杂志。博弈论代数 25，第2期，103-125（2016）.
MSC公司：92立方37 68问题85 92C45型
PDF格式BibTeX公司 XML格式引用
\textit{P.M.Gotovtsev}等人，《国际数学杂志》。博弈论代数25，第2期，103-125（2016；Zbl 1397.92162）
德塞尔，约格;哈维尔·埃斯帕尔扎

谈判和Petri网。 （英文） Zbl 1366.68203号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务》XI。柏林：施普林格出版社（ISBN 978-3-662-53400-7/pbk；978-3-562-53401-4/电子书）。计算机科学课程讲稿9930。《期刊副刊》，203-225（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Desel}和\textit{J.Esparza}，莱克特。注释计算。科学。9930203-225（2016年；Zbl 1366.68203）
全文： 内政部
卡米拉·巴里尔斯卡;最好的，艾克;埃罗菲耶夫·叶夫根尼;乌卡斯·米库尔斯基;马钦·皮·特考夫斯基

Petri网可解二进制字的条件。 （英文） Zbl 1366.68199号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务》XI。柏林：施普林格出版社（ISBN 978-3-662-53400-7/pbk；978-3-562-53401-4/电子书）。计算机科学课程讲稿9930。《期刊副刊》，137-159（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛K.Barylska｝等人，Lect。注释计算。科学。9930，137-159（2016年；兹比尔1366.68199）
全文： 内政部
卢卡·伯纳迪内洛;科伦萨，哥尔基姆;露西娅·波梅尔

基于Petri网揭示和排除关系的非干涉概念。 （英文） Zbl 1366.68200号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务》XI。柏林：施普林格出版社（ISBN 978-3-662-53400-7/pbk；978-3-562-53401-4/电子书）。计算机科学课程讲稿9930。《期刊副刊》，49-70（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bernardinello}等人，Lect。注释计算。科学。9930、49-70（2016年；Zbl 1366.68200）
全文： 内政部
巴伯，贝诺;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱;尼古拉·保莱蒂

根据可执行的定时I/O自动机规范构建功耗模型。 （英文） Zbl 1366.68196号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。195-204 (2016).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，《第19届ACM混合系统国际会议论文集：计算与控制》，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。195-204（2016年；Zbl 1366.68196）
全文： 内政部
根伊奇·安田

基于离散事件行为的分布式体系结构设计，用于带嵌入式Petri网的移动机器人自主智能控制。 （英文） Zbl 1359.93293号

Azar，Ahmad Taher（编辑）等人，《混沌理论和智能控制的进展》。查姆：施普林格（ISBN 978-3-319-30338-3/hbk；978-3-3169-30340-6/电子书）。《模糊性和软计算研究》337805-827（2016）。
MSC公司：93元65角 93C85号 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{G.Yasuda}，Stud.模糊软计算。337805-827（2016年；Zbl 1359.93293）
全文： 内政部
贝内维特斯，马里奥·R·F·。;布鲁诺·洛佩斯;爱德华·赫尔曼·海尔

迭代Petri网的命题动态逻辑。 （英文） Zbl 1401.68219号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965，441-456（2016）。
MSC公司：68问题85 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.R.F.Benevides}等人，Lect。注释计算。科学。9965，441--456（2016；Zbl 1401.68219）
全文： 内政部
码头Kleijn;马西耶·库特尼;Marta Pietkiewicz-Koutny

具有全局操作和局部性的Petri网的合成。 （英文） Zbl 1422.68171号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 103-120 (2016).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}等人，Lect。注释计算。科学。9965103--120（2016年；兹比尔1422.68171）
全文： 内政部 链接
新娘，Hadrien;奥尔加·库什纳伦科;法比安·佩鲁克斯

使用数据验证工作流网络的模式规范的约束求解。 （英文） Zbl 1461.68111号

Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 75-90 (2016).
MSC公司：60年第68季度 68问题85 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{H.Bride}等人，Lect。注释计算。科学。9609，75-90（2016年；兹bl 1461.68111）
全文： 内政部
冈萨洛·梅西亚;凯伦·尼诺;卡洛斯·蒙托亚;玛丽亚·安吉丽卡·桑切斯;豪尔赫·帕拉西奥斯;莱昂内尔·阿莫迪奥

基于Petri网的真实项目管理和调度框架：动画和视频游戏中的应用程序。 （英文） Zbl 1349.90380号

计算。操作。物件。 66, 190-198 (2016).
MSC公司：90B35型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{G.Mejía}等人，《计算》。操作。第66号决议、第190-198号决议（2016年；Zbl 1349.90380）
全文： 内政部
Leonid W.德沃赞斯基。;伊琳娜·洛马佐娃（Irina A.Lomazova）。

用于分析嵌套Petri网行为特性的结构位置不变量。 （英文） 兹比尔1346.68130

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。《计算机科学讲义》9698325-344（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.W.Dworzanski}和\textit{I.A.Lomazova}，莱克特。注释计算。科学。9698，325--344（2016；Zbl 1346.68130）
全文： 内政部
克里斯托夫·马鲁西;阿提拉·克莱尼克;文斯·莫尔纳;安德拉斯·Vörös;伊斯坦·马齐克;米克洛斯·特莱克

复杂随机Petri网模型平稳分析的高效分解算法。 （英文） Zbl 1346.68138号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，281-300（2016）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Marussy}等人，Lect。注释计算。科学。9698281-300（2016年；兹比尔1346.68138）
全文： 内政部
伊凡·埃姆齐瓦特;贝诺·德拉哈耶;莱姆，迪迪埃;奥利维尔·H·鲁克斯。

概率时间Petri网。 （英文） Zbl 1346.68131号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，261-280（2016）。
MSC公司：68问题85 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.Emzivat}等人，Lect。注释计算。科学。9698，261--280（2016；Zbl 1346.68131）
全文： 内政部
乌里·施拉赫特

限制类网的Petri网综合。 （英文） Zbl 1346.68140号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，79-97（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Schlachter}，莱克特。注释计算。科学。9698，79-97（2016；Zbl 1346.68140）
全文： 内政部
最好的，艾克;雷蒙德·魔鬼队

素数周期的幂。 （英文） Zbl 1346.68126号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，59-78（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛E.Best｝和\textit｛R.Devillers｝，Lect。注释计算。科学。9698，59-78（2016年；兹bl 1346.68126）
全文： 内政部
最好的，艾克;埃罗菲耶夫·叶夫根尼;乌里·施拉赫特;哈罗·威梅尔

描述Petri网可解二进制字的特征。 （英文） Zbl 1346.68127号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，39-58（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛E.Best｝等人，Lect。注释计算。科学。9698，39-58（2016；Zbl 1346.68127）
全文： 内政部
萨多克·雷泽;Achour，Zied公司;瑞兹格，尼达尔;穆罕默德·阿里Kammoun

基于最小割集和Petri网子控制器协调的监督控制。 （英文） Zbl 1346.93010号

国际期刊系统。科学。，普林克。申请。系统。集成。 47，第14号，3425-3435（2016）.
MSC公司：93甲13 93元65角 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{S.Rezig}等人，国际期刊系统。科学。，普林克。申请。系统。集成。47，第14号，3425--3435（2016；Zbl 1346.93010）
全文： 内政部 哈尔
德奥利维拉·奥利维拉，马特乌斯

有界Petri网中的因果关系是MSO可定义的。 （英文） Zbl 1478.68189号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9803, 200-214 (2016).
MSC公司：68问题85 03B16号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.de Oliveira Oliveila}，莱克特。注释计算。科学。9803、200--214（2016；Zbl 1478.68189）
全文： 内政部
朱莉娅·帕德伯格;亚历山大·舒尔茨

使用Maude对可重构Petri网进行模型检查。 （英文） Zbl 1344.68141号

Echahed，Rachid（编辑）等人，《图形变换》。2016年7月5日至6日，作为2016年STAF的一部分，在奥地利维也纳举行了第九届2016年ICGT国际会议，以纪念Hartmut Ehrig。诉讼程序。查姆：施普林格（ISBN 978-3-319-40529-2/pbk；978-3-3169-40530-8/电子书）。计算机科学讲义9761，54-70（2016）。
MSC公司：60年第68季度 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Padberg}和\textit{A.Schulz}，莱克特。注释计算。科学。9761，54-70（2016；Zbl 1344.68141）
全文： 内政部
瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲涅·塔哈尔

形式可靠性建模与分析：一项调查。 （英文） 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公司
卡米拉·巴里尔斯卡;马西耶·库特尼;乌卡斯·米库尔斯基;马钦·皮·特考夫斯基

Petri网中的可逆计算与可逆性。 （英文） Zbl 1476.68164号

Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 105-118 (2016).
MSC公司：68问题85 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Barylska}等人，Lect。注释计算。科学。9720、105-118（2016年；Zbl 1476.68164）
全文： 内政部 链接
克里斯蒂亚诺·布拉加;布鲁诺·洛佩斯

用重写逻辑实现动态逻辑中的推理：Petri-PDL案例。 （英文） Zbl 1335.68165号

Cornélio，Márcio（编辑）等人，《形式方法：基础和应用》。2015年9月21日至22日，巴西贝洛奥里藏特，第18届巴西研讨会，SBMF 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-29472-8/pbk；978-3-3169-29473-5/电子书）。计算机科学讲义9526，74-89（2016）。
MSC公司：68问题85 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Braga}和\textit{B.Lopes}，莱克特。注释计算。科学。9526、74-89（2016年；Zbl 1335.68165）
全文： 内政部
马尔科·波奇;伊莎贝尔·德蒙戈丁;诺伯特·技安比西;亚历山德罗·朱阿

使用同步Petri网在一类无界系统上同步序列。 （英文） Zbl 1333.93170号

离散事件动态。系统。 26，第1期，85-108（2016）; 勘误表同上，第29号，第4，521-526（2019）。
MSC公司：93元65角 05C90年 94C15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Pocci}等人，离散事件动态。系统。26，第1号，85--108（2016；Zbl 1333.93170）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件