资源列表
inmaxnu
- 基于pnt.m的运算结果，进一步求其子关联矩阵，可输出Amax max_p-Based on pnt s running result, to obtain Smax and Amax of one maximal siphon.
fs
- 由最大空信标，求格严极小信标，需要与fs.m配合使用。-derive a Smin from a Smax
s0
- 由最大空信标求其严格极小信标，该程序需要与fs.m配合使用。-Get Smin from Smax.
pnt
- 由Petri网pnt.pnt文件，求取其关联矩阵。可输出p,t,pt,ptnu,maxw.-Obtain p-by-t incidence matrix of a PN.
wqtwf
- 处理一般PN网pnt文件，将变迁与权值分离出来，形成其与权值相对应的索引向量。-Create vectors of values and their index, which are used to compute p-by-t incidence matrix.
fs
- 由最大空信标求严格极小信标，该程序需要与s0.m配合使用。-derive a Smin from a Smax.
s0
- 已知最大空信标，求其严格极小信标。该程序需要与fs.m配合使用。-Get the Complementary Set of Siphon
pnt
- 由Petri网pnt文件求取关联矩阵,可输出p, t,pt,ptnu,maxw等。-Obtain incidence matrix from pnt.pnt of a PN.
FlashUpgrader
- PW 芯片方案升级软件,用于更FLASH内部程序的.
linkcheck
- Java Link Checker A Spider Written in Java The Java Link Checker spider is a simple spider that I wrote in Java to check for invalid links on a web site. The spider portion is well isolated and could easily be used in other Java projects where yo
30
- 弹性板计算程序，可以计算简单的楼板配筋，验算板厚是否满足要求等。-弹性板计算程序