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

作     者：闵光太 

出 版 物：《金陵职业大学学报》 (Journal of Nanjing Polytechnic College)

年 卷 期：2000年第15卷第3期

页      码：10-13页

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

主 题 词：高层Petri网 信息系统 行为模型 系统建模 系统逻辑模型 系统结构 系统开发 系统分析 

学科分类：0711[理学-心理学类] 07[理学] 08[工学] 0835[0835] 081202[081202] 071102[071102] 0812[工学-测绘类] 

D　O　I：10.16515/j.cnki.32-1745/c.2000.03.003

馆 藏 号：203675018...