机译:在TRBAC安全政策的正式研究中使用等级彩色培养网
机译:在TRBAC安全政策的正式研究中使用层次定时彩色Petri网(Vol 19,PG 163,2020)
机译:基于有色Petri网的模块化安全策略的形式化规范与验证
机译:使用定时彩色Petri网和CPN-Tool来模拟和验证TBAC安全政策
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:一种新的彩色时间培养策略管理和背景宣传程序的培养净模型