Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes.
Bernd WertherChristoph MöhlenbrinkMichael RudolphPublished in: HCI (12) (2007)
Keyphrases
- mathematical model
- discrete event
- control strategies
- control system
- formal model
- control strategy
- analytical model
- dynamic aspects
- mathematical analysis
- simulation model
- experimental data
- statistical model
- objective function
- high level
- optimal control
- mathematical models
- computational model
- probabilistic model
- process model
- agent model
- formal methods
- simulation data
- highly nonlinear
- knowledge base