蒲飞
【姓名】 蒲飞
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;
【研究方向】 Petri网理论及应用
【发表文献关键词】 网系统,共享合成,同步路径,路径并发合成,并发语言,Petri,活性与无死锁性的保持性,同步合成操作,语言递归性,同步合成,活性保持性,良径,无死锁性,合成操作,无死锁,Petri网,系统活性,子网,...
【工作单位】 中国科学院数学与系统科学研究院
【曾工作单位】 中国科学院数学与系统科学研究院;
【所在地域】 湖南怀化
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 2 3 3 55 441
中国期刊全文数据库    共找到3篇
[1]蒲飞,陆维明.同步合成Petri网系统活性与无死锁性的保持性[J]软件学报.2003,(12)
[2]蒲飞,陆维明.Petri网系统合成操作的活性保持性研究[J]系统仿真学报.2003,(S1)
[3]蒲飞,陆维明,宋文.共享合成Petri网系统的语言递归性与系统活性[J]软件学报.2004,(03)
更多