机译:稳定软件系统的模型驱动设计:基于Petri网的方法
机译:定时Petri网建模的离散事件动力系统稳定性问题的混合LYAPUNOV-MAX-PLUS代数方法
机译:使用Lyapunov-max-plus代数方法用时间Petri网建模的离散事件动力系统的稳定性问题
机译:数值技术与仿真相结合的新方法用于基于Petri网的大型离散事件系统分析
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:PhysioSim –一个完整的硬件和软件生理仿真环境,采用基于代数和差分系统和动态贝叶斯网络的分层建模的混合方法