...
机译:基于OR-过渡有色Petri网的可信组件操作细化
School of Software, Yunnan University, Kunming, China;
Yunnan University, Kunming, China;
lCube Laboratory, University of Strasbourg, Strasbourg, France;
School of Software, Yunnan University, Kunming, China;
School of Software, Yunnan University, Kunming, China;
Kunming University of Science and Technology, Kunming, China;
Component Net; Petri Net; Refinement of Component; Trusted Component;
机译:基于反应模型的合成有色Petri网
机译:基于分层有色Petri网的工作流系统组件
机译:基于延伸彩Petri网的ATC操作过程建模
机译:基于或过渡彩色Petri网的可信组件中操作的抽象
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:基于反应模型的合成有色Petri网