首页> 中文期刊> 《金陵科技学院学报(社会科学版)》 >基于高层Petri网的信息系统行为模型

基于高层Petri网的信息系统行为模型

         

摘要

信息系统的设计不仅要反映对象间相互关联的静态系统而且还要反映活动间相互关联的动态系统。本文以高层Petri网作为建模工具,逐层细化描述系统中对象之间的静态关系以及对象的动态行为。库所代表关系模式,标记是相应类型的一个关系,交迁代表在它输入/输出库所上对关系的一种操作,指定到变迁上的逻辑表达式用来指定所移动成插入元组的选择条件。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号