| 基于高层Petri网的信息系统行为模型 |
| |
| 引用本文： | 闵光太.基于高层Petri网的信息系统行为模型[J].金陵科技学院学报(社会科学版),1999(1). |
| |
| 作者姓名： | 闵光太 |
| |
| 作者单位： | 金陵职业大学!江苏南京210001 |
| |
| 摘 要： | 信息系统的设计不仅要反映对象间相互关联的静态系统而且还要反映活动间相互关联的动态系统。本文以高层Petri网作为建模工具，逐层细化描述系统中对象之间的静态关系以及对象的动态行为。库所代表关系模式，标记是相应类型的一个关系，交迁代表在它输入／输出库所上对关系的一种操作，指定到变迁上的逻辑表达式用来指定所移动成插入元组的选择条件。
|
| 关 键 词： | 信息系统 行为 模型 Petri网 |
Behavior Modeling of Information Systems Based on High Level Petri Nets |
| |
| Min Guangtai.Behavior Modeling of Information Systems Based on High Level Petri Nets[J].Journal of Jinling Institute of Technology :Social Science Edition,1999(1). |
| |
| Authors: | Min Guangtai |
| |
| Abstract: | The design of information systems must reflect static,object-related system aspects as well as dynamic,activity related system aspects. In this paper,high level Petri nets is used as the modeling tool to describe structures of objects,rela tionships between objects,static semantic integrity constraints as well as dynamic behavior on objects. Places represent rela tion schemelMarking represents a tuple on the correspond relation,Transitions represent operations on relations,and the logical expressions assigned on transitions point out the selecting conditions for tuples whi.h will move out/insert into Places. |
| |
| Keywords: | Information System Behavior Model Petri net |
| 本文献已被 CNKI 等数据库收录！ |
