位置：立项数据库 > 立项详情页
Petri网代数
  • 项目名称：Petri网代数
  • 项目类别：面上项目
  • 批准号：69273003
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：吴哲辉
  • 依托单位：山东科技大学
  • 批准年度：1992
吴哲辉的项目
Petri网的活性判定问题
期刊论文 19
组合时间Petri 网的同步理论与方法及其应用
期刊论文 27
PETRI网的进程表达式
期刊论文 14
PETRI网的活性和公平性分析
唯一可达向量网系统的性质及其在信息安全技术上的应用研究
期刊论文 64 会议论文 16
PETRI网理论及其在计算机科学和工程上的应用
多方计算的安全保障机制和可信性检测与评价的关键技术研究
期刊论文 46 会议论文 14 获奖 14