PNML公司

PNML框架:Petri网标记语言的可扩展参考实现。Petri网的国际标准ISO/iec15909提供了一种形式化的语义和语法来实现模型交换和工业传播。第2部分将一种具体的交换格式定义为基于XML的语言:PNML。该语言必将随着标准的未来发展而发展。本文介绍了PNML框架,它是该标准的一个配套实现。它为Petri网工具的开发人员提供了一种方便快捷的方法来实现对PNML文档的支持。它从任何XML显式操作中抽象出来,并通过使用api来确保与标准的一致性。


zbMATH中的参考文献,第1条标准)

显示第1到第20个结果,共40个。
按年份排序(引用)
  1. Bride,Hadrien;Kouchnarenko,Olga;Peureux,Fabien:简化通用可靠性验证的工作流网络(2017年)
  2. Kheldoun,Ahmed;Barkaoui,Kamel;Ioualalen,Malika:基于高级Petri网的复杂业务流程的正式验证(2017)
  3. Mizuta,Atsushi;Ge,Qi Wei;Matsuno,Hiroshi:在信号通路Petri网模型中计算激发频率的跃迁依赖收缩(2017)
  4. Molnár,Vince;Vörös,András;Darvas,Dániel;Bartha,Tamás;Majzik,István:组件增量LTL模型检查(2016)
  5. 伊瓦尔德,罗兰;乌尔马彻,阿德林德M.:SESSL:模拟实验领域专用语言(2014)
  6. 张楠;段振华;田聪:多核并行计算的圆柱计算模型(2013)
  7. 海纳,莫妮卡;赫拉吉,莫斯塔法;刘,费;罗,克里斯蒂安;施瓦里克,马丁:史努比——一个统一的Petri网工具(2012)ioport公司
  8. Teve Hostettler;Marechal,Alexis;Linard,Alban;Risoldi,Matteo;Buchs,Didier:用AlPiNA进行高级Petri网模型检查(2011)
  9. Kindler,Ekkart:ePNK:PNML的可扩展Petri网工具(2011)
  10. Baldan,Paolo;Cocco,Nicoletta;Marin,Andrea;Simeoni,Marta:代谢途径建模的Petri网:调查(2010年)
  11. Hillah,L.M.;Kordon,F.;Petrucci,L.;Trèves,N.:PNML框架:Petri网标记语言的可扩展参考实现(2010)ioport公司
  12. Norta,Alex;Eshuis,Rik:统一业务流程协作的规范和验证(2010)ioport公司
  13. Thomas,Oliver;Brocke,Jan Vom:面向服务的信息系统设计的价值驱动方法——利用概念模型(2010)ioport公司
  14. Kindler,Ekkart;Petrucci,Laure:走向模块化Petri网的标准:形式化(2009)
  15. Bardin,Sébastien;Finkel,Alain;Leroux,Jérôme;Petrucci,Laure:快速:从理论到实践的加速(2008)ioport公司
  16. 克里斯汀·肖比(Choppy),米凯拉·梅耶罗(Mayero),劳尔·彼得鲁奇(Petrucci),劳尔:Petri网精化的形式证明实验(2008)
  17. Hamadi,Rachid;Benatallah,Boualem;Medjahed,Brahim:业务流程中用于策略驱动异常处理的自适应恢复网络(2008)ioport公司
  18. Neponiaschy,V.A.;Argirov,V.S.;Beloglazov,D.M.;Bystrov,A.V.;Chetvertakov,E.A.;Churina,T.G.:使用高级Petri网对SDL指定的通信协议进行建模和验证(2008年)
  19. Cicirelli,Franco;Furfaro,Angelo;Nigro,Libero:模块化时间Petri网的分布式仿真:利用时间不确定性的方法和案例研究(2007)
  20. David Kensche;Quix,Christoph;Chatti,Mohamed Amine;Jarke,Matthias:GeRoMe:模型管理的基于角色的通用元模型(2007)

更多出版物请访问:http://www.pnml.org/papers.php