RENEW; Petri nets; Model-Driven development; Meta-modeling;
机译:基于Agent Petri网形式主义的多Agent系统元建模与验证方法
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:稳定软件系统的模型驱动设计:基于Petri网的方法
机译:在模型驱动的方法中整合Petri网络语义:更新的元建模和转换框架
机译:由模型驱动的框架,用于语义Web服务的规范,基础和执行。
机译:物联网中服务和产品的闭环生命周期管理:知识集成的语义框架
机译:基于代理人Petri网络形式主义的多助理系统的元建模和验证方法