蒂娜

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


zbMATH中的参考文献(参考文献43条)

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