恰当的

APT–Petri网和标记转移系统的分析。欢迎使用APT。这个软件的目的是在Petri网和标记的转换系统上运行各种分析方法。本指南解释了开始使用APT的最重要方面。对于引用APT,我们推荐以下出版物:General:Eike Best,Uli Schlachter:分析Petri网和过渡系统。ICE 2015年:53-67;综合:Uli Schlachter:限制类网的Petri网综合。在Petri网2016:79-97


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

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

  1. 最好的,艾克;德维勒,雷蒙德;埃洛菲耶夫,叶夫根尼;Wimmel,Harro:面向目标的Petri网合成(2020)
  2. Tredup,Ronny:合成(b)-有界((m,n))-T系统的参数化复杂性(2020)
  3. Wimmel,Harro:有界选择自由或分叉属性网的预合成(2020)
  4. 施拉赫特,乌利;Wimmel,Harro:通过解决分离问题为Petri网合成重新命名LTS(2019)
  5. 最好的,艾克;德维勒,雷蒙德;Schlachter,Uli:有界选择自由Petri网合成:算法问题(2018)
  6. 最好的,艾克;德维勒,雷蒙德;施拉赫特,乌利;Wimmel,Harro:同步Petri网合成(2018)
  7. Schlachter,Uli:网的受限子类的过近似Petri网合成(2018)
  8. 巴杜埃尔,埃里克;Schlachter,Uli:使用Petri网合成的增量过程发现(2017)
  9. 施拉赫特,乌利;Wimmel,Harro:(k)-模态转换系统的有界Petri网综合(2017)
  10. 巴利斯卡,卡米拉;最好的,艾克;埃洛菲耶夫,叶夫根尼;米库尔斯基,乌卡斯;Piątkowski,Marcin:Petri网可解二进制字的条件(2016)
  11. 巴利斯卡,卡米拉;库特尼,麦基;米库尔斯基,乌卡斯;Piątkowski,Marcin:Petri网中的可逆计算与可逆性(2016)
  12. 最好的,艾克;Devillers,Raymond:prime cycles的力量(2016)
  13. 最好的,艾克;埃洛菲耶夫,叶夫根尼;施拉赫特,乌利;Wimmel,Harro:描述Petri网可解二进制字(2016)
  14. Schlachter,Uli:受限类网的Petri网综合(2016)
  15. Schlachter,Uli:模态转换系统的有界Petri网合成是不可判定的(2016)
  16. 最好的,艾克;Devillers,Raymond:持久系统的合成与再工程(2015)
  17. 最好的,艾克;Schlachter,Uli:Petri网和过渡系统分析(2015)