陆维明
【姓名】 陆维明
【职称】 研究员;教授;
【研究领域】 计算机软件及计算机应用;
【研究方向】 Petri网
【发表文献关键词】 网系统,同步路径,路径并发合成,并发语言,Petri,活性与无死锁性的保持性,同步合成操作,共享合成,同步合成,活性保持性,语言递归性,非对称选择网,无死锁性,合成操作,网链,Petri网,良径,无死...
【工作单位】 中国科学院数学与系统科学研究院
【曾工作单位】 中国科学院数学与系统科学研究院;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/20 19 18 1 184 2088
中国期刊全文数据库    共找到20篇
[1]夏传良;焦莉;陆维明;.Petri网精细化操作及其在系统设计中的应用[J]软件学报.2006,(01)
[2]夏传良;陆维明;.Petri网精细化操作及其在系统建模中的应用[J]系统仿真学报.2006,(08)
[3]夏传良;焦莉;陆维明;.Petri网共享PP-型子网合成性质分析[J]软件学报.2007,(01)
[4]焦莉;陆维明;.基于共享位置的Petri网系统综合与保性[J]计算机学报.2007,(03)
[5]黄小炜;陆维明;.用于实现异步通信的一种模块化Petri网[J]系统仿真学报.2007,(S1)
[6]蒲飞,陆维明.同步合成Petri网系统活性与无死锁性的保持性[J]软件学报.2003,(12)
[7]杨元生,孙艳春,陆维明.不超过9个顶点的所有图的交叉数[J]小型微型计算机系统.2003,(06)
[8]蒲飞,陆维明.Petri网系统合成操作的活性保持性研究[J]系统仿真学报.2003,(S1)
[9]蒲飞,陆维明,宋文.共享合成Petri网系统的语言递归性与系统活性[J]软件学报.2004,(03)
[10]夏传良,陆维明.论Petri网链路合成[J]系统工程理论与实践.2005,(06)
更多
承担国家科研项目    共找到1个
[1]陆维明;.PETRI网中实用算法的研究[A].中国科学院数学与系统科学研究院;.项目经费 14万元.2000-03-31.资助文献数 28 篇
更多