Advertisement

Modeling a NORAD Command Post using SADT and Colored Petri Nets

  • Robert M. Shapiro
  • Valerio O. Pinci
  • Roberto Mameli
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 693)

Abstract

In this paper we focus on the task of modeling a NORAD Command Post, using SADT (Structured Analysis and Design Technique) and hierarchical Colored Petri Nets (CPN or CP-nets). The paper contains:
  • a description of IDEF/CPN — an extension of SADT that incorporates behavioral information in SADT models.

  • a discussion of the computer support for creating and editing IDEF/CPN models, their automatic translation into CPN models and their subsequent execution and analysis

  • a detailed IDEF/CPN model of a NORAD command post.

Keywords

Activation Rule Code Segment Command Post Substitution Transition Event Alarm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    Jean MacMillan, Joseph G. Wohl: TR-363, Human Roles in an SDI System: Situation Assessment Durig Peacetime and Transition, Armstrong Aerospace Medical Research Laboratory, Wright Patterson Air Force Base, October 1987.Google Scholar
  2. [2]
    M. Ajmone Marsan, G. Conte, and G. Balbo, A Class of Generalized Petri Nets for the Performance Evaluation of MultiProcessor Systems. In: ACM Trans. Comput. Sys., Vol. 2, No. 2, pp. 93–122, May 1984.Google Scholar
  3. [3]
    D. A. Marca and C. L. McGowan: SADT, McGraw-Hill, New York, 1988.Google Scholar
  4. [4]
    Design/IDEF User's Manual, Version 1.5. Meta Software Corporation, Cambridge, MA, 1989.Google Scholar
  5. [5]
    K. Jensen: Coloured Petri Nets In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986-Part I, Lecture Notes in Computer Science, vol. 254, Springer-Verlag 1987, 248–299.Google Scholar
  6. [6]
    Design/CPN User's Manual, V. 1.21: Meta Software Corporation,Cambridge, MA, Oct. 1989.Google Scholar
  7. [7]
    C. A. Petri: Introduction to General Net Theory. In: W. Brauer, (ed.): Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979, Lecture Notes in Computer Science, Vol. 84, Springer-Verlag 1980, 1–19.Google Scholar
  8. [8]
    H.J. Genrich: Equivalence Transformation of Prt-Nets. In G. Rozenberg (ed.), Advances in Petri Nets 1989, Lecture Notes in Computer Science, Springer-Verlag, to appear.Google Scholar
  9. [9]
    P. Huber, K. Jensen, R. Shapiro: Hierarchies in Colored Petri Nets. Meta Software Corporation, Cambridge, Massachusetts, USA, 1989. Presented at the 10th International Conference on Application and Theory of Petri Nets, Bonn, June 1989.Google Scholar
  10. [10]
    Robert Harper, Robin Milner, and Mads Tofte: The Definition of Standard ML, Version 2. Technical Report ECS-LFCS-88-62, University of Edinburgh, LFCS, Department of Computer Science, University of Edinburgh, The King's Buidings, Edinburgh EH9 3JZ, August 1988.Google Scholar
  11. [11]
    K. Jensen: Design/CPN Extension: Timed Simulation, Color Set Restrictions and Reporting Facilities. Meta Software Corporation, Cambridge, MA. V. II — February, 1990.Google Scholar
  12. [12]
    H. Genrich, K. Lautenbach, P.S. Thiagarajan: Elements of General Net Theory. In: W. Brauer, G. Goos and J. Hartmanis (eds.): Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979, Lecture Notes in Computer Science, Vol. 84, Springer-Verlag 1980Google Scholar
  13. [13]
    M. Jantzen, R. Valk: Formal Properties of Place/Transition Nets. In: W. Brauer (ed.): Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Lecture Notes in Computer Science, Vol. 84, Springer-Verlag 1980Google Scholar
  14. [14]
    W. Reisig: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, New York, Springer-Verlag, 1985.Google Scholar
  15. [15]
    Tadao Murata: Petri Nets: Properties, Analysis, and Applications. Proceedings of the IEEE, Vol. 77, No. 4, pp. 541–580, April 1989.Google Scholar
  16. [161.
    K.M. van Hee, L.J. Somers, M. Voorhoeve: Executable Specifications for Distributed Information Systems. In: E.D.Falkenberg and P. Lindgreen (eds.): Information System Concepts: An In-depth Analysis, North Holland, 1989, 139–156Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Robert M. Shapiro
    • 1
  • Valerio O. Pinci
    • 1
  • Roberto Mameli
    • 1
  1. 1.Meta Software CorporationCambridgeUSA

Personalised recommendations