机译:Petri网系统缓弧连接活度特性的组成验证
College of Computer and Information Engineering Zhejiang Gongshang University, Hangzhou, China,State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing, China;
liveness preservation; concurrent language; dynamic invariance; inhibitor-arc connections;
机译:缓弧连接活度特性的组成验证
机译:一类新的Petri网用于切换随机系统的建模和性能验证
机译:嵌套Petri网的有界性与活性的组成性。
机译:封闭定时弧Petri网上生命属性的验证
机译:组成分层时间Petri网的验证方法。
机译:使用Petri网工具研究生物系统的特性和动力学
机译:petri网柔性制造系统的组成建模与验证