编辑配置文件（在新选项卡中打开） 法兰克·波默罗 合著者距离 作者ID： 蓬梅里奥·弗兰克 发布日期： 法兰克·波默罗;F.波默罗。 已编制索引的文档： 18出版物自1999年以来 合著者： 10位合著者具有15联合出版物 116位合作作者 全部的 前5名合著者 三 单作者的 13 汉娜·克劳代尔 4 雷蒙德·魔鬼队 4 马西耶·库特尼 三 伊丽莎白·佩尔兹 1 罗兰·布鲁莱 1 约旦de la Houssaye 1 塞德里克·高切雷尔 1 吉安·卢伊斯·贾维托 1 Thanh，Cécile Bui先生 1 科林·托马斯 系列 2 计算机基础理论 1 信息学报 1 理论计算机科学 1 计算机科学科学年鉴 领域 17 计算机科学（68至XX） 2 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用27中的次15文件 引用人▼ 年份▼ SNAKES：一个灵活的高级Petri网库（工具文件）。 Zbl 1432.68316号 法兰克·波默罗 5 2015 异步盒演算。 Zbl 1111.68536号 雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼;法兰克·波默罗 5 2003 非安全Petri盒代数。 Zbl 1275.68104号 雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼;法兰克·波默罗 2 2002 通过动态过程创建实现系统的有效验证。 Zbl 1161.68622号 汉娜·克劳代尔;马西耶·库特尼;伊丽莎白·佩尔兹;法兰克·波默罗 2 2008 PBC和M网络中的异步链路。 Zbl 0959.68090号 汉娜·克劳代尔;法兰克·波默罗 2 1999 因果时间演算。 Zbl 1099.68675号 法兰克·波默罗 2 2004 一类可组合和可抢占的高级Petri网，用于多任务系统。 Zbl 1003.68094号 汉娜·克劳代尔;法兰克·波默罗 2 2002 M-nets：一项调查。 Zbl 1178.68366号 汉娜·克劳代尔;法兰克·波默罗 1 2008 并行编程语言中静态异常的并发语义。 Zbl 0986.68504号 汉娜·克劳代尔;法兰克·波默罗 1 2001 动态进程创建的状态空间缩减。 Zbl 1424.93072号 汉娜·克劳代尔;马西耶·库特尼;伊丽莎白·佩尔兹;法兰克·波默罗 1 2010 具有无界计数器的Petri网的有效可达图表示。 兹比尔1347.68273 法兰克·波默罗;雷蒙德·魔鬼队;汉娜·克劳代尔 1 2009 抢占的并发复合Petri网语义。 Zbl 1043.68595号 汉娜·克劳代尔;法兰克·波默罗 1 2000 反应规则的Petri网语义。生态系统建模语言。 Zbl 1517.68260号 法兰克·波默罗;科林·托马斯;塞德里克·高切雷尔 1 2022 用于系统验证的具有因果时间的Petri网。 Zbl 1270.68179号 C.Bui Thanh;Klaudel，H。;F.波默罗。 1 2003 反应规则的Petri网语义（RR）。生态系统建模语言。 Zbl 1517.68260号 法国波默罗;科林·托马斯;塞德里克·高切雷尔 1 2022 SNAKES：一个灵活的高级Petri网库（工具文件）。 Zbl 1432.68316号 法兰克·波默罗 5 2015 动态进程创建的状态空间缩减。 Zbl 1424.93072号 汉娜·克劳代尔;马西耶·库特尼;伊丽莎白·佩尔兹;法兰克·波默罗 1 2010 具有无界计数器的Petri网的有效可达图表示。 兹比尔1347.68273 法兰克·波默罗;雷蒙德·魔鬼队;汉娜·克劳代尔 1 2009 通过动态过程创建实现系统的有效验证。 Zbl 1161.68622号 汉娜·克劳代尔;马西耶·库特尼;伊丽莎白·佩尔兹;法兰克·波默罗 2 2008 M-nets：一项调查。 Zbl 1178.68366号 汉娜·克劳代尔;法兰克·波默罗 1 2008 因果时间演算。 Zbl 1099.68675号 法兰克·波默罗 2 2004 异步盒演算。 Zbl 1111.68536号 雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼;法兰克·波默罗 5 2003 用于系统验证的具有因果时间的Petri网。 Zbl 1270.68179号 C.Bui Thanh;Klaudel，H。;F.波默罗。 1 2003 非安全Petri盒代数。 兹比尔1275.68104 雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼;法兰克·波默罗 2 2002 一类可组合和可抢占的高级Petri网，用于多任务系统。 Zbl 1003.68094号 汉娜·克劳代尔;法兰克·波默罗 2 2002 并行编程语言中静态异常的并发语义。 Zbl 0986.68504号 汉娜·克劳代尔;法兰克·波默罗 1 2001 抢占的并发复合Petri网语义。 Zbl 1043.68595号 汉娜·克劳代尔;法兰克·波默罗 1 2000 PBC和M网络中的异步链路。 Zbl 0959.68090号 汉娜·克劳代尔;法国波默罗 2 1999 所有引用的出版物 前5名被引用出版物 全部的 前5名被21位作者引用 7 法兰克·波默罗 6 汉娜·克劳代尔 三 马西耶·库特尼 2 雷蒙德·魔鬼队 2 休伯特·加拉维 1 吉安·卡洛·阿吉雷·萨姆博尼 1 胡里奥·卡拉斯克尔。 1 加布里埃尔·乔巴努 1 塞德里克·高切雷尔 1 吉安·卢伊斯·贾维托 1 斯特凡·哈尔 1 什蒂凡·哈达克 1 里扎德·贾尼基 1 哈利勒·梅切拉奥伊 1 洛伊奇·波列维 1 伊丽莎白·佩尔兹 1 Peťko，伊万 1 斯特凡·施温 1 Thanh，Cécile Bui先生 1 科林·托马斯 1 尼克·Würdemann 全部的 前5名7篇连载文章中引用 2 信息学报 1 理论计算机科学 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 中欧计算机科学杂志 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 在3个字段中引用 15 计算机科学（68至XX） 2 生物学和其他自然科学（92-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文