课题基金 / 基金详情

Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis

Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis
聚合广义随机 Petri 网以改进性能分析
批准号:
DP0880928
负责人:
Prof Jonathan Billington
金额:
$10.75万
依托单位国家:
澳大利亚
项目类别:
Discovery Projects
财政年份:
2008
资助国家:
澳大利亚
项目状态:
已结题
起止时间:
2008-03-27 至 2011-12-31

项目摘要

项目成果

Prof Jonathan Billington的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Advances in the Verification of Communication Protocols
  • 批准号:
    DP0559927
  • 项目类别:
    Discovery Projects
  • 资助金额:
    $14.15万
  • 财政年份:
    2005
  • 负责人:
    Prof Jonathan Billington
  • 依托单位:
Extending the scope of modular analysis for the validation of large systems
  • 批准号:
    LX0454639
  • 项目类别:
    Linkage - International
  • 资助金额:
    $0.64万
  • 财政年份:
    2004
  • 负责人:
    Prof Jonathan Billington
  • 依托单位:
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems
  • 批准号:
    DP0210524
  • 项目类别:
    Discovery Projects
  • 资助金额:
    $12.51万
  • 财政年份:
    2002
  • 负责人:
    Prof Jonathan Billington
  • 依托单位:
海外基金