Discrete event systems; Petri nets;
机译:定时Petri网建模的离散事件动力系统稳定性问题的混合LYAPUNOV-MAX-PLUS代数方法
机译:使用Lyapunov-max-plus代数方法用时间Petri网建模的离散事件动力系统的稳定性问题
机译:使用Petri网建模和控制离散事件和混合系统的新软件工具
机译:通过代数广义Petri网对一类离散事件和混合系统进行建模和控制的统一方法
机译:使用Petri网对离散事件系统进行建模,监视和优化。
机译:ADAM:使用计算机代数分析生物系统的离散模型
机译:对分解色的控制限制:使用彩色Petri网对离散事件进行系统监督控制的建议:对分解色的控制限制:使用有色Petri网对离散事件系统进行监督控制的方法