π-网相关论文
π-网是一类新型的模块化的高级Petri网。p-网有机地结合了两类并发模型Petri 网和p-演算,p-网既可称为Petri网中的p-演算,又是p-......
π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管......
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对......
