搜索资源列表
pnt
- 由Petri网pnt文件求取关联矩阵,可输出p, t,pt,ptnu,maxw等。-Obtain incidence matrix from pnt.pnt of a PN.
wqtwf
- 处理一般PN网pnt文件，将变迁与权值分离出来，形成其与权值相对应的索引向量。-Create vectors of values and their index, which are used to compute p-by-t incidence matrix.
pnt
- 由Petri网pnt.pnt文件，求取其关联矩阵。可输出p,t,pt,ptnu,maxw.-Obtain p-by-t incidence matrix of a PN.
inmaxnu
- 基于pnt.m的运算结果，进一步求其子关联矩阵，可输出Amax max_p-Based on pnt s running result, to obtain Smax and Amax of one maximal siphon.