Petri net synthesis; Petri net properties; Region theory;
机译:加权Petri网子类的死锁性,活跃性和可逆性
机译:Petri网的一些子类及其结构特性分析:一种新方法
机译:确定性和随机Petri网子类的近似瞬态分析
机译:用于网络限制亚类的过度近似的Petri净合成
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网的萜类生物合成途径模型的仿真
机译:独立,增加,自由选择petri网在任意petri网中强制生存策略综合中的应用
机译:具有局部性的petri网的合成