可达图

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

对于一些简单的进
Petri
网系统，可以通过观察看出它的一些性质。但对那些较为复杂的系统，需要利用一些分析方法。
Petri
网的分析方法很多，本节仅就
Petri
网的可达标识图和关联矩阵和状态方程做简单介绍，可达标识图是一种图形分析方法，而后一种是数学分析方法，都可用于分析模型的状态和变迁发生序列的变化。
3.3.1.1
可达标识图和
可覆盖树分析法
可达标识图是一种图形分析方法，由于有界
Petri
网的可达标识集是一个有限集合，因此可达标识集可以构成一个有向图，其中顶点为可达标识，有向弧为可达标识之间的可达关系，该图即为
Petri
网的可达标识图。
定义3-1可达标识图设
PN(S
，T；F，M)是一个有界
Petri
网，其三元组
RG=（R(M)，Ar，p）是一个可达标识图，其中：
（1）R(M)是PN的可达标识集，
RG的顶点集；
（2）Ar是RG的弧集，
Ar={(Mi，Mj)|Mi，Mj∈R(M)，tk∈T:Mi[
tk>Mj}；（3）p：Ar→T，p（Mi，Mj）=tk当且仅当
Mi[tk>Mj，当p（Mi，Mj）=tk时，则tk称为弧（
Mi，Mj）的旁标。 ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：分析方法 分析模型 数学分析 状态方程 分析法