中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共8条，第1-8条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
基于共享位置的Petri网系统综合与保性 期刊论文
计算机学报, 2007, 卷号: 030, 期号: 003, 页码: 352
作者:  焦莉;  陆维明
收藏  |  浏览/下载：33/0  |  提交时间：2020/01/10
一类Petri网系统的活性 期刊论文
计算机学报, 2002, 卷号: 025, 期号: 008, 页码: 883
作者:  林贵献;  陆维明;  焦莉
收藏  |  浏览/下载：90/0  |  提交时间：2020/01/10
可分解非对称选择网的活性和家态 期刊论文
计算机学报, 2002, 卷号: 025, 期号: 012, 页码: 1325
作者:  林贵献;  陆维明
收藏  |  浏览/下载：90/0  |  提交时间：2020/01/10
非乘积解随机Petri网的乘积形式近似求解 期刊论文
计算机学报, 2001, 卷号: 024, 期号: 006, 页码: 588
作者:  林闯;  陆维明;  刘道斌
收藏  |  浏览/下载：17/0  |  提交时间：2020/01/10
Petri网用于求解概率逻辑的近似可能世界矩阵 期刊论文
计算机学报, 1995, 卷号: 018, 期号: 001, 页码: 1
作者:  陆维明;  林闯
收藏  |  浏览/下载：19/0  |  提交时间：2020/01/10
概率逻辑可能世界的Petri网模型 期刊论文
计算机学报, 1994, 卷号: 017, 期号: 004, 页码: 307
作者:  陆维明;  林闯
收藏  |  浏览/下载：18/0  |  提交时间：2020/01/10
Petri网用于表示知识 期刊论文
计算机学报, 1992, 卷号: 015, 期号: 001, 页码: 1
作者:  陆维明;  林闯
收藏  |  浏览/下载：15/0  |  提交时间：2020/01/10
一种分布式系统的设计原理 期刊论文
计算机学报, 1992, 卷号: 000, 期号: 006, 页码: 471
作者:  陆维明;  林闯
收藏  |  浏览/下载：17/0  |  提交时间：2020/01/10