卢卡·伯纳迪内洛；科伦萨，哥尔基姆；伊丽莎白·曼吉奥尼；露西娅·波梅尔 通过组合Petri网对分布式私钥生成进行建模。 （英语） Zbl 1428.68196号 Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理IX》，柏林：施普林格出版社。莱克特。注释计算。科学。8910, 19-40 (2014).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bernardinello}等人，Lect。注释计算。科学。8910，19-40（2014；Zbl 1428.68196） 全文： 内政部
卢卡·伯纳迪内洛；伊丽莎白·曼吉奥尼；露西娅·波梅尔 基本网络系统的局部状态精化和组合：一种基于形态的方法。 （英语） Zbl 1394.68242号 Koutny，Maciej（编辑）等人，《Petri网和其他并发模型事务》VIII。柏林：施普林格出版社（ISBN 978-3-642-40464-1/pbk）。计算机科学8100课堂讲稿。《期刊副刊》，48-70（2013）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bernardinello}等人，Lect。注释计算。科学。8100、48-70（2013年；Zbl 1394.68242） 全文： 内政部
卢卡·伯纳迪内洛；卡洛·费里加托；露西娅·波梅尔 基本网络系统的模块化综合。 （英语） 兹比尔1087.93040 Caillaud，Benoêt（编辑）等人，《离散事件系统的合成与控制》。波士顿：Kluwer学术出版社（ISBN 0-7923-7639-0）。103-113 (2002). 审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺） MSC公司：93元65角 93亿B50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bernardinello}等人，in：离散事件系统的合成与控制。波士顿：Kluwer学术出版社。103-113（2002年；Zbl 1087.93040）