×

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

最新的 引文 关联
罗伯托·戈里埃里

有限P/T网的语言表示性。 （英语） Zbl 1434.68325号

Bodei，Chiara（编辑）等人，《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。9465, 262-282 (2015).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Gorrieri}，莱克特。注释计算。科学。9465，262--282（2015；Zbl 1434.68325）
全文： 内政部
保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷亚莱，Giacoma V。

异步跟踪和开放Petri网。 （英语） Zbl 1434.68320号

Bodei，Chiara（编辑）等人，《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。9465, 86-102 (2015).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。9465，86-102（2015；Zbl 1434.68320）
全文： 内政部
弗雷德里克·佩申斯基;汉娜·克劳代尔;雷蒙德·魔鬼队

开放式可重构系统的Petri网解释。 （英语） Zbl 1330.68212号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709208-227（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Peschanski}等人，Lect。注释计算。科学。6709208-227（2011年；Zbl 1330.68212）
全文： 内政部 哈尔
罗兰·梅耶;罗伯托·戈里埃里

关于（pi）-演算与有限位置/转移Petri网之间的关系。 （英语） Zbl 1254.68175号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710463-480（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Meyer}和\textit{R.Gorrieri}，莱克特。注释计算。科学。5710463-480（2009年；Zbl 1254.68175）
全文： 内政部
保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇

使用开放Petri网编码异步交互。 （英语） Zbl 1254.68161号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，99-114（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5710，99-114（2009；Zbl 1254.68161）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件