×

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

最新 引文 关联
码头Kleijn;马西耶·库特尼;Marta Pietkiewicz-Koutny

具有全局操作和局部性的Petri网的合成。 （英语） 兹比尔1422.68171

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965103-120（2016年）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}等人，Lect。注释计算。科学。9965，103-120（2016；Zbl 1422.68171）
全文： DOI程序 链接
埃里克·古堡;塞缪尔·米姆拉姆

并发的几何模型和经典模型之间的形式关系。 （英语） Zbl 1347.68265号

Fajstrup，Lisbeth（编辑）等人，《计算机科学中几何和拓扑方法第九次研讨会论文集》，丹麦奥尔堡，2010年1月11日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记283，77-109（2012）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·古堡}和\textit{S.Mimram}，电子。注释Theor。计算。科学。28377--109（2012；Zbl 1347.68265）
全文： DOI程序
让·范雄;雷米·莫林

有限步过渡系统的Pomset语言。 （英语） Zbl 1242.68177号

Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，法国巴黎，2009年6月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。《计算机科学讲义》5606，83-102（2009）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Fanchon}和\textit{R.Morin}，莱克特。注释计算。科学。5606,83--102（2009年；Zbl 1242.68177）
全文： DOI程序
菲利普·达伦多;马西耶·库特尼;Marta Pietkiewicz-Koutny;亚历克斯·雅科夫列夫

具有分步触发策略的网络合成。 （英语） Zbl 1143.68482号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062112-131（2008）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Darondeau}等人，Lect。注释计算。科学。5062112-131（2008年；Zbl 1143.68482）
全文： DOI程序
J·卡莫纳。;科尔塔德拉，J。;M.基希内夫斯基。;Kondratyev，A。;拉瓦尼奥。;雅科夫列夫，A。

有界Petri网综合的符号算法。 （英语） Zbl 1143.68478号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。第29届国际会议，2008年PETRI NETS，2008年6月23日至27日，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿506292-111（2008）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Carmona}等人，Lect。注释计算。科学。5062,92--111（2008年；Zbl 1143.68478）
全文： DOI程序 链接
菲利普·达伦多

关于零安全网络的综合。 （英语） Zbl 1143.68481号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065409-426（2008）。
理学硕士：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Darondeau}，莱克特。注释计算。科学。5065409--426（2008年；Zbl 1143.68481）
全文： DOI程序
纳迪亚·布西;G.Michele Pinna

具有抑制剂弧的网络合成。 （英语） 兹比尔1512.68162

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243115-165（1997）中所述。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Busi}和\textit{G.M.Pinna}，莱克特。注释计算。科学。1243、151--165（1997年；Zbl 1512.68162）
全文： DOI程序
埃里克·巴杜埃尔;菲利普·达伦多

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

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

具有抑制弧的基本网络系统的过渡系统。 （英语） Zbl 1510.68067号

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 310-327 (1997).
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\文本｛M.Pietkiewicz Koutny｝，Lect。注释计算。科学。1248310--327（1997年；Zbl 1510.68067）
全文： DOI程序
托马斯·希尔德布兰特。;弗拉迪米罗·萨松

将转换系统与独立和异步转换系统进行比较。 （英语） Zbl 1514.68169号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 84-97 (1996).
理学硕士：68问题85 18B20型
PDF格式BibTeX公司 XML格式引用
\textit｛T.Hildebrandt｝和\textit｛V.Sassone｝，Lect。注释计算。科学。1119、84-97（1996年；Zbl 1514.68169）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件