integration; middleware; Enterprise Integration Patterns; Coloured Petri nets; analysis; synthesis.;
机译:使用彩色Petri网集成任务网络和认知用户模型,并将其应用于作业设计以提高安全性和生产率
机译:使用彩色Petri网验证智能家居通用泛型中间件
机译:使用面向方面的分层彩色Petri网对Web应用程序进行建模和分析
机译:使用彩色Petri网分析和完成用于企业集成的中间件设计
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:一种彩色培养净方法,用于模拟和分析安全关键互动系统