【摘 要】
：
基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型
论文部分内容阅读
基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型的转换算法。
Based on Petri Net, a complete set of concurrency system requirements specification, modeling and formal verification methods are proposed. Establish conceptual models for requirements specifications, including function diagrams, resource diagrams, and constraint sets. The conception of the conceptual model is given, and the conversion algorithm from the conceptual model to the Petri net model is given.
其他文献
各位代表、各位专家、女士们、先生们: “应对WTO,2002年全国工程造价软件和网络研讨会”今天隆重开幕了,这是工程造价管理行业自己组织的一次全国性的工程造价软件和网络研
回顾百年来戏曲研究的“现代化”进程，曲谱曾在其中扮演了特殊的角色，以冯沅君、钱南扬、赵景深等为代表的前辈学者在辑录早期南戏佚文时，就非常注意挖掘曲谱为戏曲史重新正本清源的重要价值，钱南扬先生还留下了学界为数不多的几篇纵论曲谱流变的文章。八十年代以来的学人著述中，虽也时有提及曲谱重要性者，但全方位、多层次地对曲谱的历史源流、发展概貌以及相关理论问题予以研讨的学术成果却一直少见。
每隔半年对与Internet联网的机器数进行统计的最新调查表明,在过去的一年中网络的规模已经扩大了一倍。 由从事软硬件开发的NetworkWizards公司进行的这项“Internet域名调
《劳动法》根据国家宪法,明确规定了劳动者在职业培训、技能开发和技能鉴定方面应享受的权力和承担的义务,同时也规定了国家、政策和企事业单位在这方面的责任。《劳动法》
五年来,江西移动从一个客户数仅40万、负债率高达85％、欠费率占总资产15％、缺少基本的营业场地和办公场所的困难企业发展壮大为拥有近500万客户、业务收入以年均26％的速度持续增
一夜之间，教室窗户的最下格统一换成了带花纹的毛玻璃。据说是为了防止临窗的学生上课时向外张望。的确，临窗的学生受到的诱惑是要比其他同学多一些的。我自己学生时代也常常掰
开展信息技术与课程的整合,是改进数学学习方式,帮助学生理解数学知识本质和提高数学应用能力的有效途径。运用现代信息技术的自主学习比传统课堂讲授更能促进学生之间的交流
一、动手操作如图,将正方形纸片ABCD折叠,使点B落在CD边上一点E(不与点C、D重合),AB的对应边为FE,且FE交边AD于点G,压平后得到折痕MN.二、探究发现:∠GBE的值不变,为45°证明
全球信息化的发展正成为经济与社会发展的重要推动力,信息化引发了全球的产业革命,正在成为国际经济竞争的焦点,成为国力和经济增长力的重要标志。我国信息化工作是从1993年
自从Google在英国品牌经济公司Interbrand的调查中被评为2002年的“年度第一品牌”开始,搜索引擎就被业界公认为继广告、网络游戏、无线增值之后互联网的第四桶金。有关统计