Labelled transition systems; Composition; Decomposition; Petri net synthesis;
机译:Petri网的合成技术及其在自动化制造系统中的应用综述
机译:基于Petri网和关系矩阵到业务流程管理的转换系统的分析与应用
机译:磁悬浮系统和两轴线性压电陶瓷电动机驱动系统的动态Petri模糊小脑模型关节控制器设计
机译:过渡系统的衔接及其在Petri网综合中的应用
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:模态转换系统的有界petri网综合是不可判定的
机译:计算科学:膜系统和petri网综合。