机译:交易Internet协议的彩色Petri网分析
Department of Applied Informatics,University of Macedonia,Thessaloniki, Greece;
School of Computing, IT and Engineering,University of East London,London E16 2RD, UK;
Department of Applied Informatics,University of Macedonia,Thessaloniki, Greece;
e-commerce transaction; CP-nets; coloured Petri nets; model checking; simulation;
机译:不断发展的Internet标准的彩色Petri网建模:数据报拥塞控制协议
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:一种彩色培养网方法与网络协议安全分析库
机译:使用彩色Petri网进行Internet开放交易协议交易的建模和分析
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:使用有色petri网分析Wap Class 2无线事务协议
机译:利用影响图和有色petri网进行军事信息作战分析