机译:具有Petri网的离散事件动态系统的可靠性分析
Supelec - IETR, Avenue de la Boulais, BP 81127, F35511 Cesson-Sevigne Cedex, France;
CNRS, LAAS, 7 Avenue du Colonel Roche, F-31077 Toulouse, France Universite de Toulouse, UPS, 1NSA, 1NP, 1SAE, LAAS, F-31077 Toulouse, France;
embedded systems; reliability analysis; petri net; linear logic; feared scenarios; minimality;
机译:一种用于离散事件动态系统性能分析的新Petri网建模技术
机译:定时Petri网建模的离散事件动力系统稳定性问题的混合LYAPUNOV-MAX-PLUS代数方法
机译:使用Lyapunov-max-plus代数方法用时间Petri网建模的离散事件动力系统的稳定性问题
机译:使用随机培养网的动态可靠性分析事件表示
机译:使用Petri网对离散事件系统进行建模,监视和优化。
机译:基于结构模块和定时Petri网预测系统动力学的准稳态分析:胰岛素受体的生命周期
机译:离散事件动态系统性能分析的新Petri网建模技术
机译:用Flexiblemanufacturing系统和petri网控制离散事件动态系统