Table of Contents Author Guidelines Submit a Manuscript
Modelling and Simulation in Engineering
Volume 2012, Article ID 383129, 7 pages
http://dx.doi.org/10.1155/2012/383129
Research Article

A Key Event Path Analysis Approach for Integrated Systems

China Ship Development and Design Center, 268 Zhang Zhidong Road, Hubei Province, Wuhan 430064, China

Received 6 April 2012; Accepted 23 July 2012

Academic Editor: Hing Kai Chan

Copyright © 2012 Jingjing Liao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. DoD Architecture Framework Working Group, DoD Architecture Framework Version 2. 0, Volume 1: Introduction, Overview, and Concepts, The United States: Department of Defense, 2009.
  2. DoD Architecture Framework Working Group, DoD Architecture Framework Version 2. 0, Volume 2: Architectural Data and Models, The United States: Department of Defense, 2009.
  3. DoD Architecture Framework Working Group, DoD Architecture Framework Version 2. 0, Volume 3: DoDAF Meta-Model, The United States: Department of Defense, 2009.
  4. F. Ni, M. Z. Wang, F. Zhou et al., “Integrated architecture modeling approach from DoDAF to HCPN,” Systems Engineering and Electronics, vol. 32, pp. 959–965, 2010. View at Google Scholar
  5. A. H. Levis and L. W. Wagenhals, “C4ISR architectures: I. Developing a process for C4ISR architecture design,” Systems Engineering, vol. 3, no. 4, pp. 225–247, 2000. View at Google Scholar · View at Scopus
  6. L. W. Wagenhals, I. Shin, D. Kim, and A. H. Levis, “C4ISR architectures: II. A structured analysis approach for architecture design,” Systems Engineering, vol. 3, no. 4, pp. 248–287, 2000. View at Google Scholar · View at Scopus
  7. K. Jensen, Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use, vol. 1, Springer, Berlin, Germany, 2nd edition, 1992.
  8. K. Jensen, L. M. Kristensen, and L. Wells, “Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 3-4, pp. 213–254, 2007. View at Publisher · View at Google Scholar · View at Scopus
  9. M. A. Piera and G. Mušič, “Coloured Petri net scheduling models: timed state space exploration shortages,” Mathematics and Computers in Simulation, vol. 82, pp. 428–441, 2010. View at Publisher · View at Google Scholar · View at Scopus
  10. Z. Xiao and Z. Ming, “A method of workflow scheduling based on colored Petri nets,” Data and Knowledge Engineering, vol. 70, no. 2, pp. 230–247, 2011. View at Publisher · View at Google Scholar · View at Scopus
  11. B. Rachid and E. M. Abdellah, “On the analysis of some structural properties of Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics A, vol. 35, no. 6, pp. 784–794, 2005. View at Publisher · View at Google Scholar · View at Scopus
  12. V. Daniele and Y. Nobuko, “Probabilistic π-calculus and event structures,” Electronic Notes in Theoretical Computer Science, vol. 190, no. 3, pp. 147–166, 2007. View at Publisher · View at Google Scholar · View at Scopus
  13. R. Langerak, Transformation and Semantics for LOTOS [Ph.D. thesis], University of Twente, 1992.
  14. G. Winskel, “An introduction to event structures,” Lecture Notes in Computer Science, vol. 354, pp. 364–397, 1989. View at Google Scholar
  15. R. Liu, A. Kumar, and W. van der Aalst, “A formal modeling approach for supply chain event management,” Decision Support Systems, vol. 43, no. 3, pp. 761–778, 2007. View at Publisher · View at Google Scholar · View at Scopus
  16. E. Bland, S. Y. Brian, F. B. James, F. L. Robert, and D. F. Lisa, “Event-driven competing risks,” Ecological Modelling, vol. 158, no. 1-2, pp. 35–50, 2002. View at Publisher · View at Google Scholar · View at Scopus
  17. L. S. Melvin and P. B. Gerald, “Radars for the detection and tracking of ballistic missiles, satellites and planets,” Lincoln Laboratory, vol. 12, pp. 217–243, 2000. View at Google Scholar