机译:颜色:通过有色Petri网执行,调试和分析QVT关系转换
Computer Science Department, Universidad Autonoma de Madrid, 28049 Madrid, Spain;
Computer Science Department, Universidad Autonoma de Madrid, 28049 Madrid, Spain;
Model-driven engineering; Model-to-model transformations; QVT-relations; Coloured Petri nets; Validation and verification;
机译:基于等级彩色Petri网和马尔可夫链的网络控制系统建模与分析
机译:彩色Petri网的风电场混合风险分析模型及解释性结构建模
机译:空气运输延迟传播分析与彩色定时培养网的不确定性
机译:有色Petri网对QVT关系的正式支持
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:正式支持QVT与有色petri网的关系
机译:利用影响图和有色petri网进行军事信息作战分析