Timed petri nets in modeling and analysis of concurrent systems

并发系统建模和分析中的定时 Petri 网

• 批准号: 8222-2006
• 负责人: Zuberek, Wlodzimierz
• 金额: $ 1.95万
• 依托单位: Memorial University of Newfoundland
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2006
• 资助国家: 加拿大
• 起止时间: 2006-01-01 至 2007-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=337802
• 关键词: Timed; petri; nets; modeling; analysis

The long-term objective of this research is the development of efficient methods for modeling and analysis of concurrent systems, i.e., systems in which some events can occur concurrently but there are restrictions of precedence and frequency of such occurrences. Multiprocessor and distributed systems, database systems, communications protocols and networks are examples of such systems. Because of very simple representation of concurrency and synchronization of events, Petri nets have been gaining popularity in modeling and analysis of concurrent systems. Several types of Petri nets "with time" have been proposed on order to take into account the durations of modeled activities, and to use the same models for qualitative and well as quantitative analyses of the modeled systems. However, net models of real-life systems tend to be too complex and too difficult to be dealt with directly (the so called "state explosion problem" of state-based models). Therefore special techniques (and software tools implementing these techniques) are needed for analysis of many realistic models. Short-term objectives of this project include: (i) automatic (or semi-automatic) derivation of net models from specifications of the modeled systems, (ii) efficient analysis methods of derived models, and (iii) development of software tools for generation, analysis and evaluation of net models. All these objectives are complementary in the sense that they refer to different stages of the modeling and analysis process. It is expected that more efficient algorithms and, especially, more user--friendly software tools (which will hide the more advanced aspects of Petri nets) will increase popularity of Petri nets in modeling, analysis and evaluation of complex systems.

这项研究的长期目标是开发有效的方法来建模和分析并发系统，即其中一些事件可以并发发生，但存在优先级和发生频率的限制的系统。多处理器和分布式系统、数据库系统、通信协议和网络都是这种系统的例子。由于事件的并发性和同步性的表示非常简单，所以在并发系统的建模和分析中，Petri网得到了广泛的应用。为了考虑建模活动的持续时间，并使用相同的模型对建模系统进行定性和定量分析，已经提出了几种类型的带时间的Petri网。然而，现实系统的网络模型往往过于复杂和难以直接处理(所谓的基于状态的模型的状态爆炸问题)。因此，需要特殊的技术(以及实现这些技术的软件工具)来分析许多现实模型。该项目的短期目标包括：(1)从建模系统的规格中自动(或半自动)导出网络模型；(2)有效地分析派生模型的方法；(3)开发网络模型的生成、分析和评估的软件工具。所有这些目标都是相辅相成的，因为它们涉及建模和分析过程的不同阶段。人们期望更有效的算法，特别是更友好的软件工具(这将隐藏更先进的方面)将增加在复杂系统的建模、分析和评估中的流行。