Modeling an NORAD Command Post Using SADT and Colored Petri Nets

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.

[1]  Rüdiger Valk,et al.  Formal Properties of Place/Transition Nets , 1979, Advanced Course: Net Theory and Applications.

[2]  Hartmann J. Genrich.  Equivalence transformations of PrT-nets , 1988, European Workshop on Applications and Theory in Petri Nets.

[3]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[4]  Kees M. van Hee,et al.  Executable Specifications for Distributed Information Systems , 1989, International Symposium on Combinatorial Optimization.

[5]  Robin Milner,et al.  The definition of standard ML, Version 3 , 1988 .

[6]  Kurt Lautenbach,et al.  Elements of General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[7]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[8]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[9]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[10]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[11]  C. A. Petri.  Introduction to General Net Theory , 1979, Advanced Course: Net Theory and Applications.