Diamond; Petri nets; Concurrent computing; Electronic mail; Indexes; Labeling;
机译:基于矩阵半张量积的同步转移有界Petri网系统的建模和可达性分析
机译:基于键图和Petri网组合的混合动力系统的扩展转移逻辑
机译:一种使用培养网柔性制造系统的控制转换的死锁控制算法
机译:过渡系统的产品和Petri网的补充
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:关于petri网和向量加法系统弱函数的函数?
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,