分享到:

基于图形转换的组合状态安全性验证技术

受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri  (本文共9页) 阅读全文>>