机译:MEdit4CEP-CPN:一种通过优先着色的Petri网进行复杂事件处理建模的方法
Univ Cadiz, Dept Comp Sci & Engn, Avda Univ Cadiz 10, Cadiz 11519, Spain;
Univ Castilla La Mancha, Sch Comp Sci, Campus Univ S-N, Albacete 02071, Spain;
Univ Castilla La Mancha, Sch Comp Sci, Campus Univ S-N, Albacete 02071, Spain;
Univ Castilla La Mancha, Sch Comp Sci, Campus Univ S-N, Albacete 02071, Spain;
Univ Cadiz, Dept Comp Sci & Engn, Avda Univ Cadiz 10, Cadiz 11519, Spain;
Formal modeling; Petri nets; Event-based system; Complex event processing; Event processing language; Model-driven engineering; Business process management;
机译:使用彩色培养网负载均衡调度和可靠性建模
机译:BPMN模型向有色Petri网模型的转换和验证的方法
机译:在模型驱动的系统开发过程中,使用系统建模语言与有色Petri网相结合的可执行系统架构
机译:利用复杂事件处理和彩色Petri网控制城市空气污染的智能交通系统
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:对分解色的控制限制:使用彩色Petri网对离散事件进行系统监督控制的建议:对分解色的控制限制:使用有色Petri网对离散事件系统进行监督控制的方法