Petri nets; Hybrid systems; Event-driven control; Steady state;
机译:用于在受控广义批量培养网中达到稳定状态的事件驱动控制
机译:受控广义Petri网的动力学和稳态分析
机译:混合和混合自适应Petri网:可达性图的计算
机译:VSL控制下的交通路网混合介观建模的可控三角批处理Petri网
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:基于结构模块和定时Petri网预测系统动力学的准稳态分析:胰岛素受体的生命周期
机译:具有语义信息的Petri网模型可达性图的并行计算
机译:自由选择petri网中可达死区的并行计算