×

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

最新的 引文 关联
埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多

Petri网合成。 （英语） Zbl 1351.68003号

理论计算机科学文本。EATCS系列柏林：施普林格出版社（ISBN 978-3-662-47966-7/hbk；978-3-562-47967-4/电子书）。xiii，第339页。(2015).
审核人：Jörg Desel（哈根）
MSC公司：68-02 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}等人，Petri网合成。柏林：施普林格出版社（2015；Zbl 1351.68003）
全文： DOI程序 哈尔
埃里克·巴杜埃尔;菲利普·达伦多;劳雷·佩特鲁奇

正则语言Petri网的模块化合成。 （英语） Zbl 1194.68158号

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。1-21 (2009).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}等人，in：并发视角。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。1-21（2009年；Zbl 1194.68158）
埃里克·巴杜埃尔;菲利普·达伦多

分层Petri网。 （英语） Zbl 1507.68206号

Chlebus，Bogdan S.（编辑）等人，《计算理论基础》。第11届国际研讨会，1997年9月1日至3日，波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1279, 117-128 (1997).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}和\textit{P.Darondeau}，莱克特。注释计算。科学。1279、117--128（1997年；Zbl 1507.68206）
全文： DOI程序
埃里克·巴杜埃尔;菲利普·达伦多

由精神分裂症对象引起的网络和自动机之间的二重性。 （英语） Zbl 1502.68190号

大卫·皮特（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。953, 24-43 (1995).
MSC公司：68问题85 18A40型 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}和\textit{P.Darondeau}，莱克特。注释计算。科学。953、24-43（1995年；Zbl 1502.68190）
全文： DOI程序 链接
埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多

有界网综合的多项式算法。 （英语） Zbl 1496.68212号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。第六届CAAP/FASE国际联席会议，1995年5月，丹麦奥胡斯。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 364-378 (1995).
MSC公司：68问题85 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}等人，Lect。注释计算。科学。915364-378（1995年；Zbl 1496.68212）
全文： DOI程序
埃里克·巴杜埃尔;菲利普·达伦多;让·克劳德·拉乌尔

无上下文事件域是可识别的。 （英语） Zbl 1496.68184号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 214-229 (1995).
MSC公司：68问题55 第68季度第42季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}等人，Lect。注释计算。科学。936214-229（1995年；Zbl 1496.68184）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

软件