位置：立项数据库 > 立项详情页
组合时间Petri 网的同步理论与方法及其应用
  • 项目名称：组合时间Petri 网的同步理论与方法及其应用
  • 项目类别：面上项目
  • 批准号：60173053
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：吴哲辉
  • 依托单位：山东科技大学
  • 批准年度：2001
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 27
  • 0
  • 0
  • 0
  • 0
期刊论文
一种前向安全的代理多重签名方案
基于CPEBSDL通信协议的Petri网建模方法
多主体计划的Petri网方法及其研究
满足2PL协议的无死锁事务并发控制Petri网模型
多主体行为冲突的Petri网方法研究
某类有界时序Petri网的原型网形式的转化
Petri网进程的描述方法研究综述
几类合成网的性能分析
最大速度恒定的连续Petri网(CCPN)的性质判定及分解
基于颜色Petri网的TCP协议模拟和分析
基于Petri网的认证协议分析
MYCIN系统的模糊Petri网建模
基于Horn子句集的Pr/T网可达树的方案求解
一个基于时间petri网的多处理机静态调度的方法
可达性等价于状态方程可满足性的两个Petri-Nets子类
利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)
基于时间Petri网的密码协议分析
基于随机Petri网的乘积形式解存在的一个充分条件
无冲突可重复网极小活标识的配置
计算一类递归方程的增广Petri网模型
Petri网的公平分解和守恒分解
无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质
扩展Petri网在实时数据库并发控制中的应用
两个智力问题的增广Petri网模型
Petri网的分层递归模型
用层次颜色Petri网模拟主体行为
基于同步合成的Petri网基本进程段求解算法
吴哲辉的项目
多方计算的安全保障机制和可信性检测与评价的关键技术研究
期刊论文 46 会议论文 14 获奖 14
Petri网的活性判定问题
期刊论文 19
PETRI网的进程表达式
期刊论文 14
PETRI网的活性和公平性分析
Petri网代数
唯一可达向量网系统的性质及其在信息安全技术上的应用研究
期刊论文 64 会议论文 16
PETRI网理论及其在计算机科学和工程上的应用