Electronics Optics & Control, Volume. 24, Issue 4, 62(2017)

Pilot Operation Procedure Modeling and Simulating Based on HTP

ZHANG Yuan-yuan1...2, WU Wen-hai3, BAI Bin4 and LIU Jin-tao3 |Show fewer author(s)
Author Affiliations
  • 1[in Chinese]
  • 2[in Chinese]
  • 3[in Chinese]
  • 4[in Chinese]
  • show less
    References(4)

    [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.

    Tools

    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

    Download Citation

    EndNote(RIS)BibTexPlain Text
    Save article for my favorites
    Paper Information

    Category:

    Received: Mar. 19, 2016

    Accepted: --

    Published Online: Jan. 25, 2021

    The Author Email:

    DOI:10.3969/j.issn.1671-637x.2017.04.015

    Topics