Abstract
In order to analyze quantitatively uncertain temporal knowledge in train operation, this paper proposes a temporal knowledge reasoning method, which introduces fuzzy time interval and computation of possibilities to Extended Fuzzy-Timing Petri net(EFTN) in existed train group operation Petri net models. The method can represent the temporal firing uncertainty of each enabled transition, and thus is convenient for modeling in conflict. It also provides a technique for quantitative analysis of possibilities of conflict events. The train group behaviors model shows that the method can deal with temporal uncertainty issues during the train’s movement including multi-path selecting in conflict, train terminal time and the possibility of train operation plan implementation, thus provides the scientific basis for the reasonable train operation plan. Compared with existed methods, this method has some outstanding characteristics such as accurate analysis, simple computation and a wide range of application.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jia, L., Jiang, Q.: Study on essential characters of RITS. In: Proceeding of 6th International Symposium on Autonomous Decentralized Systems, pp. 216–221. IEEE Computer Society Press, Los Alamitos (2003)
Murata, T.: Temporal Uncertainty and Fuzzy-timing High-Level Petri Nets. In: Billington, J., Reisig, W. (eds.) Application and Theory of Petri Nets 1996. LNCS, vol. 1091, pp. 11–28. Springer, Heidelberg (1996)
Murata, T., et al.: Petri-net model and minimum cycle time for updating a moving objects database. International Journal of Computer Systems Science & Engineering 21(3), 211–217 (2006)
Xiong, C., Murata, T., Leigh, J.: An Approach for Verifying Routing Protocols in Mobile Ad Hoc Networks Using Petri Nets. In: IEEE 6th CAS Symp. on Emerging Technologies: Mobile and Wireless Comm. 2, pp. 537–540. IEEE, Los Alamitos (2004)
Zhou, Y., Murata, T.: Modeling and Performance Using Extended Fuzzy-Timing Petri Nets for Networked Virtual Environment. IEEE Transactions on System, Man, and Cybernetics-part B: Cybernetics 30(5), 737–755 (2000)
Zhou, Y., Murata, T.: Petri Net Model with Fuzzy-timing and Fuzzy-Metric Temporal Logic. International Journal of Intelligent Systems 14(8), 719–746 (1999)
Dubois, D., Prade, H.: Processing Fuzzy Temporal Knowledge. IEEE Transactions on Systems, Man and Cybernetics 19(4), 729–744 (1989)
Ye, Y.-d., Wang, J., Jia, L.-m.: Processing of Temporal Uncertainty of Train Operation Based on Fuzzy Time Petri nets. Journal of the china railway society 27(1), 6–13 (2005)
Ye, Y.-d., Wang, J., Jia, L.-m.: Analysis of Temporal Uncertainty of Trains Converging Based on Fuzzy Time Petri Nets. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 89–99. Springer, Heidelberg (2005)
Du, Y.-h., Liu, C.-h., Ye, Y.-d.: Fuzzy Temporal Knowledge Reasoning and Validating Algorithm and Its Application in Modeling and Analyzing Operations of Train Group. Journal of the china railway society 27(3), 1–8 (2005)
Ye, Y.-d., Du, Y.-h., Gao, J.-w., et al.: A Temporal Knowledge Reasoning Algorithm using Time Petri Nets and its Applications in Railway Intelligent Transportation System. Journal of the china railway society 24(5), 5–10 (2002)
Jong, W.-T., Shiau, Y.-S., Horng, Y.-J., et al.: Temporal Knowledge Representation and Reasoning Techniques Using Time Petri Nets. IEEE Transaction on System, Man and Cybernetics, Part-B: Cybernetics 29(4), 541–545 (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ye, Y., Lu, H., Ma, J., Jia, L. (2007). Uncertain Temporal Knowledge Reasoning of Train Group Operation Based on Extended Fuzzy-Timing Petri Nets. In: Cao, BY. (eds) Fuzzy Information and Engineering. Advances in Soft Computing, vol 40. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71441-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-71441-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71440-8
Online ISBN: 978-3-540-71441-5
eBook Packages: EngineeringEngineering (R0)