Skip to main content
SpringerLink
Log in

Modeling a NORAD Command Post using SADT and Colored Petri Nets

  • Chapter
  • First Online:
Functional Programming, Concurrency, Simulation and Automated Reasoning

Part of the book series: Lecture Notes in Computer Science ((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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  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. 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. D. A. Marca and C. L. McGowan: SADT, McGraw-Hill, New York, 1988.

    Google Scholar 

  4. Design/IDEF User's Manual, Version 1.5. Meta Software Corporation, Cambridge, MA, 1989.

    Google Scholar 

  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. Design/CPN User's Manual, V. 1.21: Meta Software Corporation,Cambridge, MA, Oct. 1989.

    Google Scholar 

  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. 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. 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. 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. 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. 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 1980

    Google Scholar 

  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 1980

    Google Scholar 

  14. W. Reisig: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, New York, Springer-Verlag, 1985.

    Google Scholar 

  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. 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–156

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Meta Software Corporation, 125 CambridgePark Drive, 02140, Cambridge, MA, USA

    Robert M. Shapiro, Valerio O. Pinci & Roberto Mameli

Authors
  1. Robert M. Shapiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Valerio O. Pinci
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Roberto Mameli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter E. Lauer

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Shapiro, R.M., Pinci, V.O., Mameli, R. (1993). Modeling a NORAD Command Post using SADT and Colored Petri Nets. In: Lauer, P.E. (eds) Functional Programming, Concurrency, Simulation and Automated Reasoning. Lecture Notes in Computer Science, vol 693. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56883-2_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-56883-2_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56883-4

  • Online ISBN: 978-3-540-47776-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation