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

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