机译:使用彩色Petri网分析发布/订阅范式以进行自动分析
Univ Oberta Catalunya, Internet Interdisciplinary Inst IN3, Avda Carl Friedrich Gauss 5, Barcelona 08060, Spain;
Ctr Univ Def, Acad Gen Mil, Carr Huesca S-N, Zaragoza 50090, Spain;
Univ Castilla La Mancha, Dept Sistemas Informat, Escuela Super Ingn Informat Albacete, Albacete 02071, Spain;
Univ Castilla La Mancha, Dept Sistemas Informat, Escuela Super Ingn Informat Albacete, Albacete 02071, Spain;
UML 2; 5; Distributed resources; Publish; Subscribe; Automated analysis; WSRF; WSN; Colored Petri nets; CPN tools;
机译:使用彩色Petri网进行分析出版/订阅范式以实现自动化分析
机译:将带有定性令牌的彩色Petri网自动转换为带有定性令牌的彩色Petri网
机译:有色Petri网的集成自动导引车系统引导路径配置的建模与分析。
机译:定时着色Petri网对Web服务资源中发布/订阅范式的定量分析
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:将请求-响应和发布-订阅范例集成到泛在系统中的通信模型
机译:Petri网形式化的发布-订阅过程系统
机译:petri网建模和自动软件安全分析:嵌入式军事应用的方法论