Reduction Methods for Real-Time Systems using Delay Time Petri Nets

ASIA unversity > 資訊學院 > 生物資訊與醫學工程學系 > 期刊論文 > Item 310904400/4775

請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/4775

題名:	Reduction Methods for Real-Time Systems using Delay Time Petri Nets
作者:	Jeffrey J. P. Tsai;. Juan T. Murata;Y. Zhou
日期:	2001-03
上傳時間:	2009-12-02 09:04:09 (UTC+8)
出版者:	Asia University
摘要:	We present a new net-reduction methodology to facilitate the analysis of real-time systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important techniques for reducing the state-explosion problem of Petri nets. However, the application of net reduction to current timed-extensions of Petri nets (such as Merlin's Time PNs) is very limited due to the difficulty faced in the preservation of timing constraints. To overcome this problem, we introduce DTPNs which are inspired by Merlin's (1976) Time PNs, Senac's (1994) Hierarchical Time Stream PNs, and Little's (1991) Timed PNs. We show that DTPNs are much more suitable for net reduction. Then, we present a new set of DTPN reduction rules for the analysis of schedule and deadlock analysis. Our work is distinct from the others since our goal is to analyze real-time systems and the reduction methods we propose preserve both timing properties (schedule) and deadlock. To evaluate our framework, we have implemented an automated analysis tool whose main functions include net reduction and class-graph generation. The experimental results show that our net-reduction methodology leads to a significant contribution to the efficient analysis of real-time systems
關聯:	IEEE Transactions on Software Engineering 27(5):422-448
顯示於類別:	[生物資訊與醫學工程學系 ] 期刊論文

文件中的檔案:

檔案	描述	大小	格式	瀏覽次數
		0Kb	Unknown	491	檢視/開啟
310904400-4775.doc		34Kb	Microsoft Word	257	檢視/開啟

在ASIAIR中所有的資料項目都受到原著作權保護.

資料載入中.....