computer 版 (精华区)

发信人: Muller (胖胖熊), 信区: network
标  题: Petri网大纲（1）——漫话篇
发信站: 听涛站 (2001年07月15日17:22:35 星期天), 站内信件

Petri其说

Petri网中没有控制流，但仍有控制。Petri网中存在全局状态，但是不用于判断后继，
因为全局状态不是实时的，Petri网中是局部确定的。Petri网中没有全局时间，只有局
部时间。Petri网中使用同步距离刻画同步，支持并发公理。Petri网尊重"民主"原则。


什么是Petri Nets?

1. 从网到网系统
任何系统都由两类元素组成--状态元素：代表一类资源，描述系统的状态
                          变迁元素：描述状态变化的元素
两者是互相一来的，同类元素之间无依赖关系。网系统是以资源流动为特征的。
网状结构描述了系统中的各种元素是如何组织在一起的。
网系统中使用资源分布函数、权函数、状态元素的容量等静态因素来刻画系统的静态性
质。
2．Petri网论的内容
SNT（Special Net Theory）：各种网系统，以及分析技术。
GNT（General Net Theory）：同步论、并发论、网逻辑、网拓扑、信息流图。
   "一个系统的性质不仅仅在于能描述什么能发生，而且还要能描述什么不能发生"，
网逻辑就是从不能发生的角度描述系统，并且从不能发生的角度进行推理。
   形如f : 2^n ->2^m 的函数均可以用信息流图来描述。
3． Petri Nets的历史
1962年               德国的Carl Adam Petri在他的博士论文《用自动机通信》中首次
                     使用网状结构模拟通信系统，这种系统模型后来以Petri网为名
                     流传。
1962年－1970's初     SNT的发展
1970's初－70's末     GNT理论的提出
1970's末－1980       GNT的进一步发展，有一些应用
1980－1990           Petri Nets工具的开发
1990－now            SPN（随机网），Time(d) Petri Net（时间网）的出现和研究


--
     诗人说，你常面对满天的繁星，
     寻找你过去四方采撷的鲜花，
     只见水中，长纱衣载着她入梦，
     洁白的奥菲丽娅，象朵百合花。
※ 来源:·听涛站 tingtao.dhs.org·[FROM: 匿名天使的家]