Real-Time System Resource Conflict Checking Based on Time Petri Nets

Zhou Hang; Huang Zhiqiu; Hu Jun; Zhu Yi

Journal of Computer Research and Development > 2009 > 46(9): 1578-1585.

Zhou Hang, Huang Zhiqiu, Hu Jun, Zhu Yi. Real-Time System Resource Conflict Checking Based on Time Petri Nets[J]. Journal of Computer Research and Development, 2009, 46(9): 1578-1585.

Citation:

Zhou Hang, Huang Zhiqiu, Hu Jun, Zhu Yi. Real-Time System Resource Conflict Checking Based on Time Petri Nets[J]. Journal of Computer Research and Development, 2009, 46(9): 1578-1585.

Citation:

Zhou Hang, Huang Zhiqiu, Hu Jun, Zhu Yi. Real-Time System Resource Conflict Checking Based on Time Petri Nets[J]. Journal of Computer Research and Development, 2009, 46(9): 1578-1585.

PDF (812 KB)

Real-Time System Resource Conflict Checking Based on Time Petri Nets

1(College of Information Science & Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016) 2(State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) 3(School of Computer Science and Technology, Xuzhou Normal University, Xuzhou, Jiangsu 221116)

More Information

Published Date: September 14, 2009

Graphical Abstract

Abstract

Abstract

Time Petri net is widely used to model real-time systems and to analyze system performance. Conflicts are important behaviors of Petri net and its expansion model. To solve conflicts is a key for analyzing model dynamic behaviors. Now, some conflict checking approaches are provided to check conflicts of some expansion Petri Nets which include stochastic Petri Nets, hybrid Petri net (HPN) and interval speed continuous Petri Nets(ICPN). But these approaches can not be used to check conflicts of time petri nets. Because time constraints are imported, then time Petri net’s enabling and triggering semantics are more complex than that of Petri net, and the conflict checking of time Petri net is more difficult than that of Petri net. For accurately calculating time intervals and probabilities of conflicts, delay time intervals of transitions are defined based on time constraints when transitions are durative enabling, and the soundness and completeness of this definition are discussed. An approach is proposed to check resources conflicts of time Petri Nets based on time and resource constraints. The approach availability is verified by an example analysis. The results show that applying the approach to check the resource conflicts of real-time systems based on time Petri net modeling is accurate and feasible.
- time Petri net,
- time constrain,
- resource,
- conflict,
- checking

FullText(HTML)

References (0)

[1]	Pang Tao, Duan Zhenhua. Symbolic Model Checking of WISHBONE on-Chip Bus[J]. Journal of Computer Research and Development, 2014, 51(12): 2759-2771. DOI: 10.7544/issn1000-1239.2014.20131164
[2]	Zhou Hang, Huang Zhiqiu, Zhu Yi, Xia Liang, Liu Linyuan. Real-Time Systems Contact Checking and Resolution Based on Time Petri Net[J]. Journal of Computer Research and Development, 2012, 49(2): 413-420.
[3]	Wang Yongji, Wu Jingzheng, Ding Liping, Zeng Haitao. Detecion Approach for Covert Channel Based on Concurrency Conflict Interval Time[J]. Journal of Computer Research and Development, 2011, 48(8): 1542-1553.
[4]	Liu Li, Chen Mingyu, Bao Yungang, Xu Jianwei, Fan Jianping. A Stream Checking and Prefetching Algorithm Based on Page Level Stream Buffer Architecture[J]. Journal of Computer Research and Development, 2009, 46(10): 1758-1767.
[5]	Jiang Hua, Li Xiang. Model Checking for Mobile Ambients[J]. Journal of Computer Research and Development, 2009, 46(10): 1750-1757.
[6]	Gong Rui, Chen Wei, Liu Fang, Dai Kui, and Wang Zhiying. Control Flow Checking and Recovering by Compiler Signatures and Hardware Checking[J]. Journal of Computer Research and Development, 2009, 46(2): 345-351.
[7]	Zhang Junhua, Huang Zhiqiu, and Cao Zining. Counterexample Generation for Probabilistic Timed Automata Model Checking[J]. Journal of Computer Research and Development, 2008, 45(10): 1638-1645.
[8]	Zhao Mingfeng, Song Wen, Yang Yixian. Confusion Detection Based on Petri-Net[J]. Journal of Computer Research and Development, 2008, 45(10): 1631-1637.
[9]	Huang Weiping. Program Restructuring to Improve Efficiency of Software Model Checking[J]. Journal of Computer Research and Development, 2008, 45(8): 1417-1422.
[10]	He Jian, Qin Zheng. Modeling and Checking the Behavior of Software Architecture[J]. Journal of Computer Research and Development, 2005, 42(11): 2018-2024.