scientific article; zbMATH DE number 926168

MaRDI QIDQ4891637zbMATH OpenFDO

Authors Shengguo Huang, Bin Lu, Liang Zhong

Publication date 11 February 1997

zbMATH Keywords

airtraffic controlPetri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Deterministic network models in operations research (90B10) Stochastic network models in operations research (90B15) Case-oriented studies in operations research (90B90)

Cited in

(3)

• Reversing course: Issues in modeling legacy systems
• Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning
• Dependability evaluation of an air traffic control computing system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4891637)