Universidad Autonoma de Madrid, Spain;
Universidad Carlos III de Madrid, Spain;
机译:颜色:通过有色Petri网执行,调试和分析QVT关系转换
机译:在TRBAC安全政策的正式研究中使用等级彩色培养网
机译:在TRBAC安全政策的正式研究中使用层次定时彩色Petri网(Vol 19,PG 163,2020)
机译:与彩色Petri网的QVT关系正式支持
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:正式支持QVT与有色petri网的关系