computer 版 (精华区)

发信人: Muller (胖胖熊), 信区: network
标  题: Petri网大纲（4）——通用网论篇
发信站: 听涛站 (2001年07月15日17:26:57 星期天), 站内信件


并发论

并发关系是系统的基本现象，所谓并发，是指事件之间没有必然的先后之分，也指资源
共存。如果资源存在于事件发生之前、之中及之后而没有改变，则资源和事件也称并发
。常用的对并发的描述源自名人的话（大意）：Two events, say a and b, are
concurrent ( or parallel) if their occurring order does not change the
consequence。但是其中的consequence需要有明确的含义，才有意义。对于黑盒系统而
言，consequence是很容易明确定义的，但是在白盒系统中，中间状态和最终结果（也
许没有）是同等重要的。在Petri网论中，参与系统活动的每个个体都有自己的活动痕
迹，这是一条全序的时间线，不同个体共同参与的活动是它们的时间线的交点，为不同
个体的状态与活动分出先后。分不出先后的事件与状态就是并发的。并发关系与系统中
各个体的时间线是一一确定的。但是，并发关系不具有传递性。出现网（进程）是研究
并发性质最合适的对象。C.A.Petri提出了并发关系应该遵循的22条公理，为并发关系
的理论研究奠定了基础，不仅仅停留在直觉上。


同步论

信息同步是信息系统中不可缺少的特性。信息同步指的是发送、传递和接收信息……这
些动作之间的同步。在网系统中，用同步距离对同步进行划分。具体有以下几种同步现
象：0.5:0.5类型的同步，两个任务分别采取的行动a和b互为依存，缺了一个行动，另
一个行动就不存在了，例如握手，同步距离为0，即两个事件在同一个时刻是缺一不可
的；1:1类型的同步，a和b是两个独立的动作，但必须先有一个再有一个，也许只有一
个，譬如走路，同步距离为1，即一个事件在一个时刻顶多比另一个事件多发生一步；
N:1类型的同步，同步距离为N，即一个事件在一个时刻顶多比另一个事件多发生N步。
使用同步距离对系统的同步作定量的描述，有利于分析系统的设计，避免出现错误的设
计。


网逻辑

能够发生的事件代表系统的行为或动态性质，不能发生的事件也代表了系统的（动态）
性质，是系统动态行为中的不变性。网逻辑的研究就是研究系统中不能够发生的事件与
系统行为的关系。网逻辑研究T_完备化操作得到的三类变迁形式：进程(process)，在
正常状态能发生，产生的结果仍为正常态的变迁形式；事故(violence)，在系统正常状
态发生，但产生的是非正常状态；事实(fact)，正常状态下不能够发生的事件。


信息流结构

信息系统以信息流动为特点。因此，信息流结构是Petri网系统在应用中的重要内容。
所谓信息是指逻辑变量或逻辑变量的值。一个逻辑变量把它的值以某种方式传递给另一
个变量，就产生信息的流动，信息的变化是信息在流动过程中相互作用的结果。就
C/E_系统而言，有冲突的地方均为信息源，因为冲突的消解需要来自系统环境的信息。
信息系统由几种基本信息流图组合而成：P1,P2,Q（这个不画图太难说清，还是等我明
天写完最后一部分，从我主页上下载来看比较好:P）
由信息流结构可以得知，一切逻辑运算的系统都可以用Petri网表示。
 


--
        你
        一会儿看我
        一会儿看云
        我觉得
        看我的时候你很远
        看云的时候你很近
※ 来源:·听涛站 tingtao.dhs.org·[FROM: 匿名天使的家]