一种基于Petri网的软件定义构造方法

本文描述一种支持ＭＨＳＣ方法论的软件需求定义构造的Ｐｅｔｒｉ网方法，基于提供的需求描述模型，可形成Ｐｅｔｒｉ网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型，利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证，论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路。