Modeling and Analysis of NOTAM Distribution Services Based on Petri Net

Jing Hu; Xue Yan Song; Ji Zhou Sun

doi:10.4028/www.scientific.net/AMM.644-650.3073

Paper Titles

The Building of the Database of Art Resources Research for Academy of Fine Arts
p.3057

Research and Implementation of Auxiliary Teaching System Based on C/S Model
p.3061

The Improvement of the Public Service System Based on Web Technology
p.3065

Design of Extended Event Service Model Based on CORBA
p.3069

Modeling and Analysis of NOTAM Distribution Services Based on Petri Net
p.3073

Research of the Database Access Technology Under.NET Framework
p.3077

Dynamic Visual Elements in the Digital Media Design
p.3081

Design Research on the Resident Electronic Health Recorder Systerm
p.3085

The Web Development Technology Research of Cross Platform Mobile Application
p.3090

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 644-650Modeling and Analysis of NOTAM Distribution...

Modeling and Analysis of NOTAM Distribution Services Based on Petri Net

Abstract:

NOTAM (Notice to Airman) is a notice distributed by means of telecommunication which concerned with the establishment, condition or change in aeronautical facility, service, procedure or hazard. The timely knowledge of NOTAM was essential to persons who concerned with flight operation. In order to improve the transmission efficiency of NOTAM, ensure the timeliness and effectiveness of NOTAM distribution service, this paper applied the publish/subscribe model to the NOTAM distribution service, and modeling it based on petri net, analyzing the properties with boundary and conservation of the model using the P-invariant analysis method. Which verifies that the NOTAM distribution service model is correct and effective.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 644-650)

Pages:

3073-3076

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.644-650.3073

Citation:

Cite this paper

Online since:

September 2014

Authors:

Jing Hu, Xue Yan Song*, Ji Zhou Sun

Keywords:

DDS, Distribution Service, Notice to Airman, Petri Net Modeling, P-Invariant Analysis

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Liu Jun, Meng Fei. Maintenance and Troubleshooting of Civil Aviation Navigation Information Processing System., Silicon Valley 5(2011): 140-141.

Google Scholar

[2] Ramamritham, Krithi, Sang H. Son, and Lisa Cingiser Dipippo. Real-time databases and data services., Real-Time Systems 28. 2-3 (2004): 179-215.

DOI: 10.1023/b:time.0000045317.37980.a5

Google Scholar

[3] Lu Chuanfu, Qian Xinghua. Research of Real-time Data Delivery Service., Ship Electronic Engineering 26. 1 (2006): 64-67.

Google Scholar

[4] WANG Jiening, WANG Guo. NOTAM Distribution Service Based on DDS., Computer Technology and Development 11(2012): 056.

Google Scholar

[5] Murata, Tadao. Petri nets: Properties, analysis and applications., Proceedings of the IEEE 77. 4 (1989): 541-580.

Google Scholar

[6] Garlan, David, Serge Khersonsky, and Jung Soo Kim. Model checking publish-subscribe systems., Model Checking Software. Springer Berlin Heidelberg, 2003. 166-180.

DOI: 10.1007/3-540-44829-2_11

Google Scholar

[7] WANG Jiening JIANG Gaoyang. Flight Procedure Publish/Subscribe Service Modeling and Analysis Using Petri Net., Journal Of Civil Aviation University Of China 29. 5(2011): 18-22.

Google Scholar

[8] Pardo-Castellote, Gerardo. Omg data-distribution service: Architectural overview., Distributed Computing Systems Workshops, 2003. Proceedings. 23rd International Conference on. IEEE, (2003).

DOI: 10.1109/icdcsw.2003.1203555

Google Scholar