Beijing Univ. of Aeronaut. Astronaut., Beijing, China;
机译:使用定时有色Petri网的基于形式模型的定量安全性分析
机译:基于时间间隔Petri网的飞行运行建模与延误传播分析
机译:通过时空耦合安全约束的改进定时有色Petri网进行危害分析
机译:基于TIME Petri网的航班着陆安全分析
机译:基于普通和时间Petri网的Muzima指纹模块的建模,分析和仿真
机译:基于结构模块和定时Petri网预测系统动力学的准稳态分析:胰岛素受体的生命周期
机译:通过改进的定时有色petri网进行危险性分析,具有时空耦合安全约束