分类:Petri网

来自术语
跳转至: 导航搜索
K-稠密(02.0594) 网元(02.0595)
步序列(02.0596) S-图(02.0597)
S-不变量(02.0598) Petri网语言(02.0599)
K-界网系统(02.0600) 冲撞(接触)(02.0601)
自由选择网(02.0602) 自然非序(02.0603)
子网(02.0604) 状态方程(02.0605)
(Petri网)状态爆炸(02.0606) 状态机(02.0607)
增广Petri网(02.0608) 有向弧(02.0609)
有限网(02.0610) 抑止弧(02.0611)
向前可达性(02.0612) 线(02.0613)
无向网(02.0614) 谓词/变迁系统(02.0615)
网折叠(02.0616) 网映射(02.0617)
网射(02.0618) 网运算(02.0619)
网系统(02.0620) 网拓扑(02.0621)
网逻辑(02.0622) 网化简(02.0623)
网合成(02.0624) (02.0625)
外延(02.0626) 外延子网(02.0627)
通用网论(02.0628) 同步距离(02.0629)
同步论(02.0630) 特殊网论(02.0631)
随机高级Petri网(02.0632) 随机Petri网(02.0633)
死变迁(02.0634) 顺序发生(02.0635)
瞬时变迁(02.0636) 时间连续Petri网(02.0637)
时间Petri网(02.0638) 权函数(02.0639)
(02.0640) 前集(02.0641)
流关系(02.0642) 扩展的自由选择网(02.0643)
库所(02.0644) 可覆盖性图(02.0645)
可覆盖性树(02.0646) 禁止状态(02.0647)
结构有界性(02.0648) 简单网(02.0649)
加权S-图(02.0650) 加权T-图(02.0651)
加标图(02.0652) 家态(02.0653)
基网(02.0654) 基本网系统(02.0655)
互斥变迁(02.0656) 活性(02.0657)
活变迁(02.0658) 后继标识(02.0659)
后集(02.0660) 关联矩阵(02.0661)
公平性(02.0662) 公平网(02.0663)
公平Petri网(02.0664) 公平关系(02.0665)
个性标码(02.0666) 高级Petri网(02.0667)
发生数向量(02.0668) 对偶网(02.0669)
冻结标码(02.0670) 带抑止弧的Petri网(02.0671)
纯网(02.0672) 出现网(02.0673)
初始标识(02.0674) 完全情态集(02.0675)
(02.0676) 并发模型(02.0677)
标识(02.0678) 标码(02.0679)
变迁(02.0680) 变迁发生速率(02.0681)
变迁规则(02.0682) 变迁序列(02.0683)
保P映射(02.0684) 保F映射(02.0685)
安全网系统(02.0686) T-完备网(02.0687)
T-完备化(02.0688) T-不变量(02.0689)
S-完备网(02.0690) S-完备化(02.0691)
非对称选择网(02.0692) 向后可达性(02.0693)
有界性(02.0694) 有界网系统(02.0695)
容量函数(02.0696) 情态(02.0697)
情态集(02.0698) 着色Petri网(02.0699)
并发关系(02.0700) 并发变迁(02.0701)
条件(02.0702) 冲突(02.0703)
冲突结构(02.0704) 连通网(02.0705)
守恒性(02.0706) 条件丛(02.0707)
连续Petri网(02.0708) 受控事件(02.0709)
控制输入库所(02.0710) 受控加标图(02.0711)
受控Petri网(02.0712) Petri网(佩特里网)(02.0713)
库所/变迁系统(02.0714) Petri(02.0715)
步可达性(02.0716) 可达性图(02.0717)
可达性树(02.0718) 可达标识(02.0719)
可达标识集(02.0720) 可达标识图(02.0721)
可重复性(02.0722) 可重复向量(02.0723)
逆网(02.0724) 逆变迁(02.0725)
条件/事件系统(02.0726) 时延Petri网(02.0727)
使能(02.0728)


返回:首页

分类“Petri网”中的页面

以下133个页面属于本分类,共133个页面。

使

线