恰当的

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