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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
