Stefan cel Mare Univ., Suceava;
Markov processes; cellular manufacturing; discrete event systems; flexible manufacturing systems; transient analysis; Markov model; cell manufacturing system; discrete manufacturing system modelling; discrete-event system formulation; flexible manufacturing system; stochastic machine production rate; Markov chains; buffers; discrete-event systems; production lines;
机译:使用基于规则的建模形式主义对带有故障的离散事件系统进行建模
机译:离散事件系统规范形式主义介绍及其在造型和模拟网络物理系统的应用
机译:可重新配置的GSPN:可演化的离散事件系统的建模形式
机译:用于建模离散制造系统的形式主义
机译:用于建模离散事件系统及其交互的新形式主义。
机译:使用Modelica图形表示和过程分析形式化对制造过程绩效进行建模和优化
机译:利用基于规则的建模形式建模具有故障的离散事件系统