更新

Renew是一个基于Java的多形式编辑器和模拟器,它提供了一种基于(但不限于)参考网的灵活建模方法。Petri网是描述并发系统的一种成熟的方法。多年来,对基本形式主义的许多扩展被提出来解释抽象数据类型、面向对象、层次结构或新的弧类型。其中之一是引用网形式主义,令牌可以引用任意对象,特别是其他网络,从而允许嵌套网络模型。它允许使用Java语言,具有内置的List和Tuple类型,提供测试、约束和灵活的arc,并具有强大的同步机制。


zbMATH中的参考文献(参考文献17条,2标准条款)

显示第1到17个结果,共17个。
按年份排序(引用)

  1. Garavel,Hubert:嵌套单元Petri网(2019)
  2. 贝茨,托比亚斯;劳伦斯,卡巴克;杜维尼奥,迈克尔;瓦格纳,托马斯;Wester Ebbinghaus,Matthias:使用Petri网的软件工程:web服务和代理视角(2014)
  3. Kindler,Ekkart:《局部和全局行为建模:Petri网和事件协调》(2012)ioport公司
  4. 托洛萨纳卡拉桑,拉斐尔;巴尼亚雷斯,何塞安格尔;范,康杜克;Rana,Omer F.:在通过云基础设施制定的科学工作流系统中实施QoS(2012)ioport公司
  5. 威尔士州范德阿尔斯特;克里斯汀·斯塔尔:业务流程建模。面向Petri网的方法(2011)
  6. 罗莎·维拉多,费尔南多;德弗鲁托斯·埃斯克里格,大卫:带名称和复制的Petri网中的可判定性问题(2010)
  7. 哈麦斯,亚历山大德;蒂埃里·米格,扬;Kordon,Fabrice:使用层次集决策图和自动饱和构建有效的模型检查程序(2009)
  8. Lakos,Charles:用移动Petri网建模移动IP(2009)
  9. 谢尔盖,爸爸;Poitrenaud,Denis:递归Petri网(2007)
  10. 克勒,迈克尔;Rölke,Heiko:超双对象网络的Web服务编排(2007)
  11. 劳伦斯,卡巴克;杜维尼奥,迈克尔;莫特,丹尼尔;Rölke,Heiko:使用网络中的网络建模动态架构(2005)
  12. 克勒,迈克尔;Rölke,Heiko:引用和值语义对普通对象Petri网是等价的(2005)
  13. 拉科斯,查尔斯A。;Kristensen,Lars M.:基于对象系统的状态空间探索,使用等价约化和扫描线方法(2005)
  14. 萨沙,卡迈尔;Loos,Peter:Modellierungüberbetrieblicher behandlungsprozesse durch objekt petrinetze(2005)ioport公司
  15. 库默,奥拉夫;范伯格,弗兰克;杜维尼奥,迈克尔;舒马赫,约恩;克勒,迈克尔;莫特,丹尼尔;勒克,黑子;Valk,Rüdiger:Petri网的可扩展编辑器和模拟引擎:更新(2004)
  16. 丹尼尔,莫尔特;Ortmann,Jan:DaGen:从DAML-S到高级Petri网的自动转换工具(2004)
  17. 瓦尔克,吕迪格:对象Petri网。在网络范例中使用网络。(2004年)