蒂娜

工具TINA——为Petri网和时间Petri网构造抽象状态空间。除了图形编辑工具之外,软件工具Tina还提出了为Petri网或时间Petri网的行为构造一些表示。人们使用各种技术来提取网络行为的视图,保留其状态空间的某些属性类。对于Petri网,这些抽象有助于防止组合爆炸,依赖于所谓的偏序技术,例如覆盖步骤和/或持久集。对于一般具有无限状态空间的时间Petri网,它们以状态类的形式提供其行为的有限符号表示。


zbMATH中的参考文献(参考文献45篇文章)

显示第1到第20个结果,共45个。
按年份排序(引用)
  1. 阿西尔,约翰;德维勒,雷蒙德;多时间动态任务探索系统(Klaudea-2020)
  2. Garavel,Hubert:嵌套单元Petri网(2019)
  3. 古铁雷斯,A。;布雷桑,M。;吉门尼斯,J.F。;Alonso,C.:使用系统建模语言和Petri网对升压逆变器进行实时仿真(2019年)
  4. 丛、徐亚;顾、超;乌扎姆,穆拉特;陈玉凤;艾哈迈里,阿卜杜拉赫曼M。;吴乃琪;孟州、孟州;李志武:基于加权约束弧的柔性制造系统最优Petri网监管器设计(2018)
  5. 高加姆,霍桑·埃丁;彭科莱,亚尼克;Subias,Audine:有界标记优先Petri网模式的可诊断性分析(2017)
  6. Zaitsev,Dmitry A.:环球Sleptsov net(2017年)
  7. 安德烈,爱蒂安;本穆萨,穆罕默德·马赫迪;Choppy,Christine:使用有色Petri网形式化并发UML状态机(2016)
  8. 詹森,彼得·居尔;拉森,金·古德斯兰德;Srba,Jiří:时间弧Petri网博弈的离散化实时策略综合(2016)
  9. 史,雅;田聪;段振华;周梦初:基于MSVL的模型检验Petri网(2016)
  10. Zaitsev,Dmitry:线性系统部族的序列组合(2016)
  11. Klai,Kais:时间聚集图:时间Petri网基于事件和状态的定量性质的有限图(2015)
  12. Pommereau,Franck:SNAKES:一个灵活的高级Petri网库(工具书)(2015)
  13. Zaitsev,Dmitry A.:无限Petri网中的普适性(2015)
  14. 比格,约金;雅各布森,莫顿;雅各布森,拉丝;约根森,肯尼思·伊尔克;默勒,米凯尔·哈克尔;Srba,Jiří:从时间弧Petri网到时间自动机网络的TCTL保护转换(2014)
  15. Bérenguier,D。;赵贵亚,C。;蒙泰罗,P.T。;纳尔迪,A。;雷米,E。;偷窃,D。;Tichit,L.:大型细胞调控网络的动力学建模与分析(2013)
  16. 车费,伊利;伯大维,让保罗;丝状胺,马蒙;Garnacho,Manuel:用于检查定时系统仿真的自动技术(2013)
  17. 周瑜;巴雷西,卢西亚诺;Rossi,Matteo:《基于分层时间自动机的UML/MARTE状态机的形式语义》(2013)
  18. 巴拉格,桑迪;查坦,托马斯;Haar,Stefan:从时间Petri网到时间自动机网络的并发保护转换(2012)
  19. 西西里,佛朗哥;富法罗,安吉洛;Nigro,Libero:使用时间流Petri网和\texttuppaal的模型检查依赖时间的系统规范(2012)
  20. 大卫,亚历山大;雅各布森,拉丝;雅各布森,莫顿;约根森,肯尼思·伊尔克;默勒,米凯尔·H。;Srba,Jiří:tapaal2.0:时间弧Petri网的集成开发环境(2012)