Requirements Specification with Petri Nets Using the Cube Tool Methodology

Abstract

The distributed nature of command and control requires the consideration of both processes and communications in the formulation of requirements. Cube Tool is a methodology used to derive the processing and communication needs for each system function. An approach is introduced for extending the applicability of Cube Tool to the determination of requirements for C3I systems. First, using Cube Tool for each function, a Petri Net is derived that models all processes and communications for the correct execution of the function. Then, for a given scenario, these nets are interconnected and the steps of the methodology are applied again to derive the Petri Net that represents the mission-dependent requirements for the system. For different modes of operation are considered, different Petri Net are obtained which can then be folded together to obtain a Colored Petri Net representation of the processes and communications needs.

Document Details

• Document Type: Technical Report
• Publication Date: Aug 01, 1989
• Accession Number: ADA212190

Entities

People

• Didier M. Perdu

Organizations

• Massachusetts Institute of Technology

Tags

Communities of Interest

• Air Platforms
• Energy and Power Technologies
• Materials and Manufacturing Processes
• Weapons Technologies

DTIC Thesaurus Topics

• Air Interdiction
• Availability
• Command And Control
• Computer Programs
• Computer Science
• Computers
• Data Processing
• Databases
• Functional Analysis
• Information Exchange
• Intelligent Systems
• Load Monitoring
• Organizational Structure
• Personnel Management
• Petri Nets
• Security
• Three Dimensional

Fields of Study

• Computer science
• Engineering

Readers

• Computer Networking
• Graph Algorithms and Convex Optimization.
• Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.

Technology Areas

• Fully Networked C3
• Fully Networked C3 - Command and Control