码头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。注释计算。科学。9965，103-120（2016；Zbl 1422.68171） 全文： 内政部 链接
码头Kleijn;马西耶·库特尼;Marta Pietkiewicz-Koutny 组织系统和Petri网合成。 （英语） Zbl 1428.68202号 Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理IX》，柏林：施普林格出版社。莱克特。注释计算。科学。8910, 124-146 (2014).MSC公司：68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kleijn}等人，Lect。注释计算。科学。8910124-146（2014年；兹比尔1428.68202） 全文： 内政部
埃里克·古博;塞缪尔·米姆拉姆 并发的几何模型和经典模型之间的形式关系。 （英语） Zbl 1347.68265号 Fajstrup，Lisbeth（编辑）等人，《计算机科学中几何和拓扑方法第九次研讨会论文集》，丹麦奥尔堡，2010年1月11日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记283，77-109（2012）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·古堡}和\textit{S.Mimram}，电子。注释Theor。计算。科学。28377--109（2012；Zbl 1347.68265） 全文： 内政部
让·范雄;雷米·莫林 有限步转换系统的Pomset语言。 （英语） Zbl 1242.68177号 Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学课堂讲稿560683-102（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fanchon}和\textit{R.Morin}，莱克特。注释计算。科学。5606,83--102（2009年；Zbl 1242.68177） 全文： 内政部
菲利普·达伦多;马西耶·库特尼;Marta Pietkiewicz-Koutny;亚历克斯·雅科夫列夫 具有分步触发策略的网络合成。 （英语） Zbl 1143.68482号 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。第29届国际会议，2008年PETRI NETS，2008年6月23日至27日，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。《计算机科学讲义》5062112-131（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人，Lect。注释计算。科学。5062112-131（2008年；Zbl 1143.68482） 全文： 内政部
J·卡莫纳。;科尔塔德拉，J。;M.基希内夫斯基。;Kondratyev，A。;拉瓦尼奥。;雅科夫列夫，A。 有界Petri网综合的符号算法。 （英语） Zbl 1143.68478号 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿506292-111（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Carmona}等人，Lect。注释计算。科学。5062,92--111（2008年；Zbl 1143.68478） 全文： 内政部 链接
菲利普·达伦多 关于零安全网络的综合。 （英语） Zbl 1143.68481号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065409-426（2008）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}，莱克特。注释计算。科学。5065409--426（2008年；Zbl 1143.68481） 全文： 内政部
纳迪亚·布西;G.Michele Pinna 具有抑制剂弧的网络合成。 （英语） Zbl 1512.68162号 Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 151-165 (1997).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.M.Pinna}，莱克特。注释计算。科学。1243、151--165（1997年；Zbl 1512.68162） 全文： 内政部
埃里克·巴杜埃尔;菲利普·达伦多 分层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） 全文： 内政部
Marta Pietkiewicz-Koutny 具有抑制弧的基本网络系统的过渡系统。 （英语） Zbl 1510.68067号 Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 310-327 (1997).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Pietkiewicz-Koutny}，莱克特。注释计算。科学。1248310--327（1997年；Zbl 1510.68067） 全文： 内政部
托马斯·希尔德布兰特。;弗拉迪米罗·萨松 将过渡系统与独立过渡系统和异步过渡系统进行比较。 （英语） 兹比尔1514.68169 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 84-97 (1996).MSC公司：68问题85 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hildebrandt}和\textit{V.Sassone}，莱克托。注释计算。科学。1119、84-97（1996年；Zbl 1514.68169） 全文： 内政部 链接