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.
Preview
Unable to display preview. Download preview PDF.
Bibliography
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.
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.
D. A. Marca and C. L. McGowan: SADT, McGraw-Hill, New York, 1988.
Design/IDEF User's Manual, Version 1.5. Meta Software Corporation, Cambridge, MA, 1989.
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.
Design/CPN User's Manual, V. 1.21: Meta Software Corporation,Cambridge, MA, Oct. 1989.
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.
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.
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.
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.
K. Jensen: Design/CPN Extension: Timed Simulation, Color Set Restrictions and Reporting Facilities. Meta Software Corporation, Cambridge, MA. V. II — February, 1990.
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
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
W. Reisig: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, New York, Springer-Verlag, 1985.
Tadao Murata: Petri Nets: Properties, Analysis, and Applications. Proceedings of the IEEE, Vol. 77, No. 4, pp. 541–580, April 1989.
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
Author information
Authors and Affiliations
Editor information
Rights 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