Electronics Optics & Control, Volume. 24, Issue 4, 62(2017)
Pilot Operation Procedure Modeling and Simulating Based on HTP
[4] [4] SANDERS W H, MEYER J F. Reduced base model construction methods for stochastic activity networks[J]. Selected Areas in Communications, 1991, 9(1): 25-36.
[5] [5] BOOCH G, DOUGLASS B, CERNOSEK G. Unified mo-deling language for real-time systems design[M]. California:Ratinal Software Corporation, 1996: 1-10.
[6] [6] VAN DER AALST W M P. Formalization and verification of event-driven process chains[J]. Information and Software Technology, 1999, 41(10): 639-650.
[7] [7] PETERSON J L. Petri net theory and the modeling of sytems[M]. London:Prentice-Hall 1981: 1-21.
Get Citation
Copy Citation Text
ZHANG Yuan-yuan, WU Wen-hai, BAI Bin, LIU Jin-tao. Pilot Operation Procedure Modeling and Simulating Based on HTP[J]. Electronics Optics & Control, 2017, 24(4): 62
Category:
Received: Mar. 19, 2016
Accepted: --
Published Online: Jan. 25, 2021
The Author Email: