Adapting Petri Net Theory and Methods to Specification and Analysis of Concurrent Software
Adapting Petri Net Theory and Methods to Specification and Analysis of Concurrent Software
批准号:
9321743
负责人:
Tadao Murata
金额:
$28.05万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-09-15 至 1997-08-31
中文摘要
并发软件分析研究中的一个重要问题是在一般的理论概念和具体的实践技术之间取得平衡。这就是本研究的动因。该项目的重点是应用和调整Petri网理论来解决并发软件分析中的实用问题。所涉及的具体研究主题代表了先前努力的自然延伸点。该研究在现有实验工具包的框架内探索了Ada任务分析问题,并利用一些新的可达性概念和技术扩展了对Petri网分析的研究。其中一个重点是对各种死锁检测技术的实证研究,以及这些技术在Ada任务以外的一般语言结构中的适用性。第二个重点是研究一种广义形式的可达图及其构造。这一领域的工作利用了一些已识别的与最近使用二叉决策图(BDDS)表示符号状态空间的研究的联系。
英文摘要
One of the significant problems in concurrent-software analysis research is achieving a balance between general theoretical concepts and specific practical techniques. This is the motivation for this research. The focus of the project is on applying and adapting Petri net theory for solutions to pragmatic problems in concurrent-software analysis. The specific research topics addressed represent natural points of extension from previous efforts. The research explores Ada tasking analysis issues within the framework of an existing experimental toolkit and also expands on research in analysis of Petri nets using some new reachability concepts and techniques. One area of emphasis is in empirical studies of various deadlock detection techniques and the applicability of these techniques to generic language structures beyond the example of Ada tasking. A second emphasis is the investigation of a generalized form of reachability graph and its construction. This area of work exploits some identified connections to recent research in use of Binary-Decision Diagrams (BDDs) for representation of symbolic state spaces.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Performance Modeling and Analysis of Real-Time Distributed Systems
-
批准号:9988326
-
项目类别:Continuing Grant
-
资助金额:$26.0万
-
财政年份:2001
-
负责人:Tadao Murata
-
依托单位:
Mapping Concurrent-Software Specifications to Petri Nets for Analysis & Metric Definition
-
批准号:8913580
-
项目类别:Continuing Grant
-
资助金额:$17.19万
-
财政年份:1989
-
负责人:Tadao Murata
-
依托单位:
Petri Net Based Concurrent System Models and Applications
-
批准号:8510208
-
项目类别:Standard Grant
-
资助金额:$10.87万
-
财政年份:1986
-
负责人:Tadao Murata
-
依托单位:
Computer Aided Modeling and Analysis of Concurrent Systems Based on Petri Nets; U.S.-Spain Program
-
批准号:8420627
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1985
-
负责人:Tadao Murata
-
依托单位:
Petri Net Based Concurrent System Models and Applications
-
批准号:8310719
-
项目类别:Continuing Grant
-
资助金额:$8.1万
-
财政年份:1983
-
负责人:Tadao Murata
-
依托单位:
Net Theory For Large Concurrent Systems
-
批准号:8105649
-
项目类别:Continuing Grant
-
资助金额:$10.96万
-
财政年份:1981
-
负责人:Tadao Murata
-
依托单位:
Circuit-System Theory and Distributed Processing Control Structures
-
批准号:7805933
-
项目类别:Standard Grant
-
资助金额:$6.62万
-
财政年份:1978
-
负责人:Tadao Murata
-
依托单位:
国内基金
海外基金
登录
查看更多内容
面向智能制造系统故障诊断与预测的标签时间Petri网与混合推理方法研究
-
批准号:JCZRMS202600093
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
神经网络与模糊Petri 网融合的心血管疾病智能辅助
诊断
-
批准号:2024JJ5310
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:周辉
-
依托单位:
基于可变Petri网的RPA流程学习和优化方法研究
-
批准号:62302306
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:杨茹
-
依托单位:
基于时间加权Petri网的大型批量加工智能制造系统资源配置优化研究
-
批准号:62373234
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:何舟
-
依托单位:
面向突发事件链的应急联动处置流程Petri网建模与随动资源推荐
-
批准号:52374221
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:曾庆田
-
依托单位:
时间Petri网框架下具有时序规范的赋时离散事件系统安全监控研究
-
批准号:62303359
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:黎良
-
依托单位:
加标Petri网框架下的网络化离散事件系统临界可观性验证与强化控制
-
批准号:62303375
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:丛旭亚
-
依托单位:
基于有色 Petri 网的车联网智能拥塞控制策略形式化验证方法研究
-
批准号:CSTB2023NSCQ-MSX0441
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2023
-
负责人:刘洋
-
依托单位:
基于广义互斥约束的时间Petri网系统安全强化研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:
-
依托单位:
基于Petri网的异构多机器人系统任务和路径组合规划
-
批准号:62103039
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:杨妍
-
依托单位: