通信Petri网相关硕士博士期刊学术论文 - 搜论网

通信Petri网相关论文

基于通信Petri网的异步通信程序验证模型

由于多栈的模型图灵等价,因此,通用的异步通信程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通信——通信Petr......

期刊

异步通信程序通信Petri网可覆盖性程序验证 k-型 asynchronous communication program communication

看过本文同时还关注