机译:定时Petri网建模的离散事件动力系统稳定性问题的混合LYAPUNOV-MAX-PLUS代数方法
机译:使用Lyapunov-max-plus代数方法用时间Petri网建模的离散事件动力系统的稳定性问题
机译:模型分解的代数方法:在离散事件系统的故障检测与隔离中的应用
机译:一种建模概率离散事件系统的代数方法
机译:概率离散事件系统的定量控制:一种正式的度量理论方法。
机译:ADAM:使用计算机代数分析生物系统的离散模型
机译:模型分解的代数方法:在离散事件系统中的故障检测与隔离中的应用
机译:概率过程代数建模系统:事件结构方法