PNML公司

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


zbMATH中的参考文献(参考文献41条,1标准件)

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

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