PNML公司

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


zbMATH中的参考文献(参考文献40篇文章,1标准件)

显示第1到第20个结果,共40个。
按年份排序(引用)
  1. 新娘,哈德良;奥尔加库什纳连科;Peureux,Fabien:通用可靠性验证的工作流网络缩减(2017)
  2. 艾哈迈德·赫尔顿;巴考伊,卡梅尔;Ioualalen,Malika:基于高级Petri网的复杂业务流程的形式化验证(2017)
  3. 水田、安寿;葛齐伟;Matsuno,Hiroshi:在信号通路Petri网模型中计算激发频率的跃迁依赖收缩(2017)
  4. 莫尔纳,文斯;Vörös,安德鲁斯;达沃斯,达尼尔;芭莎,塔玛斯;Majzik,István:组件增量LTL模型检查(2016)
  5. 伊瓦尔德,罗兰;Uhrmacher,Adelinde M.:SESSL:模拟实验领域专用语言(2014)
  6. 张楠,张楠;段振华;田聪:多核并行计算的圆柱计算模型(2013)
  7. 海纳,莫妮卡;赫拉吉,莫斯塔法;刘飞;罗尔,基督徒;史努比——一个统一的Petri网工具(2012)ioport公司
  8. 招待员,特维;马雷查尔,亚历克西斯;利纳德,阿尔班;里索尔迪,马特奥;Buchs,Didier:高级Petri网模型检验与AlPiNA(2011)
  9. Kindler,Ekkart:ePNK:PNML的可扩展Petri网工具(2011)
  10. 保罗巴尔丹;科科,尼科莱塔;马林,安德里亚;Simeoni,Marta:代谢途径建模的Petri网:调查(2010)
  11. 希拉,L。M、 。;科尔顿,F。;佩特鲁奇,L。;Trèves,N.:PNML框架:Petri网标记语言的可扩展参考实现(2010)ioport公司
  12. 诺塔,亚历克斯;Eshuis,Rik:统一业务流程协作的规范和验证(2010)ioport公司
  13. 托马斯,奥利弗;Brocke,Jan Vom:面向服务的信息系统设计的价值驱动方法——利用概念模型(2010)ioport公司
  14. Kindler,Ekkart;Petrucci,Laure:走向模块化Petri网的标准:形式化(2009)
  15. 巴丁,塞巴斯蒂安;芬克尔,阿兰;勒鲁克斯,杰罗姆;佩特鲁奇,劳尔:快速:从理论到实践的加速(2008)ioport公司
  16. 波涛汹涌,克莉丝汀;梅耶罗,米凯拉;Petrucci,Laure:Petri网改进的形式证明实验(2008)
  17. 哈马迪,穗状花序;贝纳塔拉,布阿林;Medjahed,Brahim:业务流程中用于策略驱动异常处理的自适应恢复网络(2008)ioport公司
  18. 尼普尼希,V。A、 。;阿吉洛夫,V。S、 。;贝洛格拉佐夫。M、 。;比斯特洛夫,A。五、 。;切特维塔科夫。A、 。;丘丽娜,T。G、 :使用高级Petri网对SDL指定的通信协议进行建模和验证(2008)
  19. 西西里,佛朗哥;富法罗,安吉洛;Nigro,Libero:模块化时间Petri网的分布式仿真:一种利用时间不确定性的方法和案例研究(2007)
  20. 大卫肯切;吉克斯,克里斯托夫;查蒂,穆罕默德胺;Jarke,Matthias:GeRoMe:一个通用的基于角色的模型管理元模型(2007)

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