石化

Petrify是Petri网和异步控制器的综合工具。Petrify读取一个Petri网并生成另一个比原描述更简单的双仿Petri网。最初,petrify对初始Petri网进行令牌流分析,并生成一个转换系统(TS)。在初始TS中,具有相同标签的所有转换被视为一个事件。然后转换TS并重新标记转换,以满足获得Petri网所需的条件。Petrify能够得到具有纯Petri网、自由选择Petri网、唯一选择Petri网、位置无冗余Petri网,Petri网所接受的Petri网也可以解释为描述异步控制器行为的信号转移图。Petrify能够解决完全的状态编码问题,并生成速度无关的电路。Petrify还包括另一个名为draw-astg的应用程序,用于以多种图形格式绘制信号转换图。


zbMATH参考文献(参考 26篇文章 引用)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. Abbasi,Rosa;Ghassemi,Fatemeh;Khosravi,Ramtin:带有未指定组件的异步系统验证(2019年)
  2. Best,Eike;Devillers,Raymond;Schlachter,Uli:有界选择自由Petri网合成:算法问题(2018)
  3. 贝斯特,艾克;德维勒,雷蒙德:素数周期的力量(2016)
  4. Schlachter,Uli:受限类网的Petri网综合(2016)
  5. Aalst,Wil M.P.van der;Lohmann,Niels;La Rosa,Marcello:通过合作伙伴合成确保过程配置过程的正确性(2012)ioport公司
  6. Lohmann,Niels;Wolf,Karsten:操作指南的紧凑表示和有效算法(2011)
  7. Solé,Marc;Carmona,Josep:\ texttrbminer:一种从转换系统中发现Petri网的工具(2010)ioport公司
  8. van der Aalst,W.M.P.;Rubin,V.;Verbeek,H.M.W.;van Dongen,B.F.;Kindler,E.;Günther,C.W.:过程挖掘:在不匹配和过度拟合之间平衡的两步方法(2010)ioport公司
  9. Khomenko,Victor;Schaefer,Mark;Vogler,Walter;Wollowski,Ralf:结合展开的STG分解策略(2009)
  10. Khomenko,Victor;Madalinski,Agnes;Yakovlev,Alex:基于STG展开的信号插入和并发减少解决编码冲突(2008)
  11. Schaefer,Mark;Vogler,Walter:STG分解的组件求精和CSC求解(2007)
  12. Frank,Uri;Kapshitz,Tsachy;Ginosar,Ran:周期性时钟域的预测同步器(2006)
  13. Khomenko,Victor;Koutny,Maciej;Yakovlev,Alex:基于STG展开和增量SAT的异步电路逻辑综合(2006)
  14. Pastor,Enric;Peña,Marco a.;Solé,Marc:TRANSYT:异步并发系统验证工具(2005)
  15. Schäfer,Mark;Vogler,Walter;Jančar,Petr:有标记图的确定STG分解(2005)
  16. Tripakis,Stavros;Yovine,Sergio;Bouajjani,Ahmed:有效地检查定时Büchi自动机的空性(2005)
  17. Esparza,Javier:检验自由选择信号转移图一致性的多项式时间算法(2004)
  18. Khomenko,Victor;Koutny,Maciej;Yakovlev,Alex:使用SAT检测STG展开中的状态编码冲突(2004)
  19. Beerel,Peter A.;Xie,Aiguo:使用马尔可夫链分析异步电路的性能(2002)
  20. Bozga,Marius;Jianmin,Hou;Maler,Oded;Yovine,Sergio:使用时间自动机验证异步电路(2002)