机译:使用彩色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网建模和自动软件安全分析:嵌入式军事应用的方法论