...
机译:Petri网展开的改进构造
机译:Petri网展开的有限和完全前缀的模块化构造
机译:改进时间类Petri网的CTL〜*模型检查的状态类构造
机译:工具TINA-构建Petri网和Time Petri网的抽象状态空间
机译:培养网展开的有限和完整前缀的模块化构建
机译:使用网络展开对时间Petri网进行监督控制。
机译:Wnt /β-Catenin信号传导Petri网模型的构建与实验验证
机译:petri网展开的改进构造
机译:一种有效的展开petri网的算法