检索结果-维普期刊中文期刊服务平台

功能确定的离散并发系统的Petri网规范设计方法被引量：7: 1; 作者蒋昌俊《计算机学报》 EI CSCD 北大核心 1995年第7期532-538,共7页; 本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ同模型的桥梁，也就是系统的规格说明．概念模型包括功能图、资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网... 展开更多; 关键词离散并发系统 petri网概念模型; 在线阅读下载PDF 职称材料

非确定并发系统设计的Petri网形式化方法被引量：1: 2; 作者蒋昌俊郑应平疏松桂《系统仿真学报》 CAS CSCD 1996年第4期37-46,共10页; 本文首先建立逻辑偏序结构概念，用于刻划非确定系统的功能结构；建立环境结构，用于描述实现系统功能所需的资源及其服务关系；以约束集表示系统应遵守的行为规范，三者合一形成了系统的需求规格说明。基于需求规格说明，分别给出逻辑... 展开更多; 关键词并发系统 petri网非确定系统; 在线阅读下载PDF 职称材料

并发系统建模与分析研究被引量：2: 3; 作者蒋昌俊郑应平疏松桂《高技术通讯》 CAS CSCD 1996年第6期21-25,共5页; 基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型的转换算法。; 关键词并发系统概念模型 petri网模型计算机; 在线阅读下载PDF 职称材料