课题基金 / 基金详情

Computer Aided Modeling and Analysis of Concurrent Systems Based on Petri Nets; U.S.-Spain Program

Computer Aided Modeling and Analysis of Concurrent Systems Based on Petri Nets; U.S.-Spain Program
基于Petri网的并发系统计算机辅助建模与分析；
批准号：
8420627
负责人：
Tadao Murata
金额：
$0.0万
依托单位：
University of Illinois at Chicago
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1985
资助国家：
美国
项目状态：
已结题
起止时间：
1985-06-01 至 1987-05-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8420627&HistoricalAwards=false
关键词：
ComputerAidedModelingAnalysisConcurrent

项目摘要

项目成果

Tadao Murata的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Performance Modeling and Analysis of Real-Time Distributed Systems
  • 批准号：
    9988326
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $26.0万
  • 财政年份：
    2001
  • 负责人：
    Tadao Murata
  • 依托单位：
    University of Illinois at Chicago
Adapting Petri Net Theory and Methods to Specification and Analysis of Concurrent Software
  • 批准号：
    9321743
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $28.05万
  • 财政年份：
    1994
  • 负责人：
    Tadao Murata
  • 依托单位：
    University of Illinois at Chicago
Mapping Concurrent-Software Specifications to Petri Nets for Analysis & Metric Definition
  • 批准号：
    8913580
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $17.19万
  • 财政年份：
    1989
  • 负责人：
    Tadao Murata
  • 依托单位：
    University of Illinois at Chicago
Petri Net Based Concurrent System Models and Applications
  • 批准号：
    8510208
  • 项目类别：
    Standard Grant
  • 资助金额：
    $10.87万
  • 财政年份：
    1986
  • 负责人：
    Tadao Murata
  • 依托单位：
    University of Illinois at Chicago
海外基金