For the most recent entries see the Petri Nets Newsletter.

Requirements Specification with Petri Nets Using the Cube Tool Methodology.

Perdu, D.M.

Technical report LIDS-R-1901. Massachusetts Inst. of Tech., Cambridge. Lab. for Information and Decision Systems, August 1989.

Abstract: Command and control requires the consideration of both processes and communications. 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 C³I systems. First, using Cube Tool for each function, a Petri Net is derived that models all processes and communications. Then these nets are interconnected and the steps of the methodology are applied again to derive the Petri Net that represents requirements for the system. For different modes different Petri Net are obtained which can then be folded together to obtain a Colored Petri Net representation.

Keywords: requirements specification; cube tool methodology; command (and) control; C3I system; folded net; colored net.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography