Real-Time Systems Contact Checking and Resolution Based on Time Petri Net

Zhou Hang; Huang Zhiqiu; Zhu Yi; Xia Liang; Liu Linyuan

Journal of Computer Research and Development > 2012 > 49(2): 413-420.

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.

Citation:

PDF (1348 KB)

Real-Time Systems Contact Checking and Resolution Based on Time Petri Net

1(College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, Nanjing 210016) 2(College of Computer Science & Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016) 3(School of Computer Science and Technology, Xuzhou Normal University , Xuzhou, Jiangsu 221116) 4(Computer Center, Artillery Academy of People’s Liberation Army, Hefei 230031)

More Information

Published Date: February 14, 2012

Graphical Abstract

Abstract

Abstract

Time Petri net is widely used to model real-time control systems. Contacts are important behaviors of Petri net and these expansion models. To solve the contacts is a key of analyzing models dynamic behaviors. Because the time constraints are adhibited, time Petri net enabling and triggering semantics are becoming more complex than Petri net, and contacts checking and resolution are getting more difficult. Time intervals of transitions are defined when these transitions are durably enabled, and this definition correctness is discussed. An approach is proposed to check contacts of time Petri net and a contacts resolution approach based on changing time constraints of transitions is defined and proved. The approach availability is verified by an example analysis. The results show that applying our approach to check the resource contacts of time Petri net is feasible.
- time Petri net (TPN),
- time constraint,
- contact,
- checking,
- resolution

FullText(HTML)

References (0)

[1]	Wang Yuanzheng, Sun Wenxiang, Fan Yixing, Liao Huaming, Guo Jiafeng. A Cross-Modal Entity Linking Model Based on Contrastive Learning[J]. Journal of Computer Research and Development, 2025, 62(3): 662-671. DOI: 10.7544/issn1000-1239.202330731
[2]	Wu Yue, Yuan Yongzhe, Yue Mingyu, Gong Maoguo, Li Hao, Zhang Mingyang, Ma Wenping, Miao Qiguang. Feature Mining Method of Multi-Dimensional Information Fusion in Point Cloud Registration[J]. Journal of Computer Research and Development, 2022, 59(8): 1732-1741. DOI: 10.7544/issn1000-1239.20220042
[3]	Luo Sheng, Miao Duoqian, Zhang Zhifei, Zhang Yuanjian, Hu Shengdan. A Link Prediction Model Based on Hierarchical Information Granular Representation for Attributed Graphs[J]. Journal of Computer Research and Development, 2019, 56(3): 623-634. DOI: 10.7544/issn1000-1239.2019.20170961
[4]	Wang Zhiqiang, Liang Jiye, Li Ru. Probability Matrix Factorization for Link Prediction Based on Information Fusion[J]. Journal of Computer Research and Development, 2019, 56(2): 306-318. DOI: 10.7544/issn1000-1239.2019.20170746
[5]	Liu Ye, Zhu Weiheng, Pan Yan, Yin Jian. Multiple Sources Fusion for Link Prediction via Low-Rank and Sparse Matrix Decomposition[J]. Journal of Computer Research and Development, 2015, 52(2): 423-436. DOI: 10.7544/issn1000-1239.2015.20140221
[6]	Yang Dan, Shen Derong, Nie Tiezheng, Yu Ge, Kou Yue. Entity Association Mining Algorithm CFRQ4A in Heterogeneous Information Spaces[J]. Journal of Computer Research and Development, 2014, 51(4): 895-904.
[7]	Zhu Mu, Meng Fanrong, and Zhou Yong. Density-Based Link Clustering Algorithm for Overlapping Community Detection[J]. Journal of Computer Research and Development, 2013, 50(12): 2520-2530.
[8]	Liu Dayou, Jin Di, He Dongxiao, Huang Jing, Yang Jianning, Yang Bo. Community Mining in Complex Networks[J]. Journal of Computer Research and Development, 2013, 50(10): 2140-2154.
[9]	Zhang Xianchao, Xu Wen, Gao Liang, and Liang Wenxin. Combining Content and Link Analysis for Local Web Community Extraction[J]. Journal of Computer Research and Development, 2012, 49(11): 2352-2358.
[10]	Xue Xiaobing, Han Jieling, Jiang Yuan, and Zhou Zhihua. Link Recommendation in Web Index Page Based on Multi-Instance Learning Techniques[J]. Journal of Computer Research and Development, 2007, 44(3).