Abstract
In order to model command and control procedure of surface air defense by reusing existent simulation models, a composition model based on hierarchy color Petri net(HCPN) is advanced. The model can describe the composition process of simulation models with strict formalization and also can support the validation analysis of accuracy of composition flow. For illustration, a procedure of modeling surface fleet air defense command and control process supported by an early-warning aircraft is presented. With the CPN Tools, the model is used to calculate dynamic response time and throughput of surface fleet air defense command and control (C2) system. Empirical results show the validity and practicability of the composition description model.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Parsons, D., Surdu, L.J., Jordan, B.: OneSAF: A Next Generation Simulation Modeling the Contemporary Operating Environment. In: Euro-Simulation Interoperability Workshop, 05E- SIW-19. IEEE Press, Toulouse (2005)
Ternion Corporation FLAMES, http://www.ternion.com/
Petty, M.D., Weisel, E.W.: A Formal Basis for a Theory of Semantic Composability. In: SISO Spring Simulation Interoperability Workshop, 03S-SIW-056. IEEE Press, Florida (2003)
Petty, M.D., Weisel, E.W., Mielke, R.R.: Computational Complexity of Selecting Components for Composition. In: Proceedings of the 37th Winter Simulation Conference, pp. 2472–2481. IEEE Press, Florida (2003)
Weisel, E.W.: Validity of Models and Classes of Models in Semantic Composability. In: SISO Spring Simulation Interoperability Workshop, 03S-SIW-076. IEEE Press, Florida (2003)
Szabo, C., Teo, Y.M.: On Syntactic Composability and Model Reuse. In: First Asia International Conference on Modeling & Simulation, pp. 230–237. IEEE Computer Society Press, Phuket (2007)
Szabo, C., Teo, Y.M.: An Approach for Validation of Semantic Composability in Simulation Models. In: Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation, pp. 3–10. IEEE Press, New York (2009)
Yuan, C.Y.: Principle and Application of Petri Net. Publishing House of Electronics Industry, Beijing (2005)
Li, J.X., Cheng, J.J.: Hierarchical Colored Petri Net Description Model for Web Service Composition. Computer Engineering 35, 39–44 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kang, X., Deng, G., Zhang, S., Wang, B. (2012). CPN-Based Composition in Modeling Command and Control of Surface Air Defense. In: Zhao, M., Sha, J. (eds) Communications and Information Processing. Communications in Computer and Information Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31968-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-31968-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31967-9
Online ISBN: 978-3-642-31968-6
eBook Packages: Computer ScienceComputer Science (R0)