CPN; UML; fairness; liveness; model-checking; sequence diagram; state space; verification;
机译:借助彩色Petri网对分布式系统消息序列图进行分析和验证
机译:使用彩色Petri网验证智能家居通用泛型中间件
机译:使用彩色Petri网进行正式验证的小额付款建议以及Android平台上的性能分析
机译:使用彩色Petri网验证基于UML的交互
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:基于UmL的符号的有色petri网形式化在协同系统建模中的应用