资源简介
随机Petri网软件包（SPNP），一个进行随机petri网分析的工具，这个是2000年版本的。不需要积分就可下载
代码片段和文件信息
/*
* Created from the model this model file
* exercises the SYMBOLIC SENSITIVITY ANALYSIS features of
* SPNP v5 by Robert Jones NASA Langley Research Center
* Hampton VA. email: r.l.jones.iii@larc.nasa.gov
*
* created Dec 12 1996 by Rob Jones
*/
# include “user.h“
double pgamma = 1/6000.0;
double delta = 1/10.0 * 3600.0;
double beta = 1/5.0 * 60.0;
double tau = 1.0;
double alpha = 1/20.0 * 3600.0;
double c = 0.9;
double lambda = 1 * 60;
double mu = 2 * 60;
int k = 10;
int n = 3;
int quorum = 1;
void options（） {
iopt（IOP_SSDETECTVAL_YES）;
iopt（IOP_SSMETHODVAL_SSSOR）;
iopt（IOP_TSMETHODVAL_FOXUNIF）;
iopt（IOP_SENSITIVITYVAL_NO）;
iopt（IOP_CUMULATIVEVAL_YES）;
iopt（IOP_PR_MARK_ORDERVAL_CANONIC）;
iopt（IOP_PR_MC_ORDERVAL_TOFROM）;
iopt（IOP_PR_MCVAL_YES）;
iopt（IOP_PR_DERMCVAL_NO）;
iopt（IOP_PR_PROBVAL_YES）;
iopt（IOP_PR_DOTVAL_NO）;
iopt（IOP_MCVAL_CTMC）;
iopt（IOP_PR_RSETVAL_YES）;
iopt（IOP_USENAMEVAL_YES）;
iopt（IOP_PR_RGRAPHVAL_YES）;
iopt（IOP_PR_FULL_MARKVAL_YES）;
iopt（IOP_ITERATIONS100000）;
fopt（FOP_ABS_RET_M00.0）;
fopt（FOP_PRECISION1e-9）;
}
int g_trupdn（）{
return mark（“procup“） > quorum;
}
int g_trupdn1（）{
return mark（“procup“） <= quorum;
}
int g_trdnup（）{
return mark（“sysup“） == 1 || mark（“sysdn“） == 1;
}
int g_sysup（）{
return mark（“sysup“） == 1;
}
int g_trsys（）{
return mark（“procup“） >= quorum;
}
void net（） {
parm（“alpha“）;
parm（“gamma“）;
parm（“beta“）;
parm（“delta“）;
parm（“tau“）;
parm（“mu“）;
parm（“lambda“）;
place（“sysup“）;
init（“sysup“ 1）;
place（“sysdn“）;
place（“procup“）;
init（“procup“ n）;
place（“procdn“）;
place（“proctmp“）;
place（“prrb“）;
place（“prrc“）;
place（“bufree“）;
init（“bufree“ k）;
place（“bufull“）;
rateval（“trsys“ 1.0）;
useparm（“trsys“ “alpha“）;
ratedep（“trupdn“ 1.0“procup“）;
useparm（“trupdn“ “gamma“）;
rateval（“trrb“ 1.0）;
useparm（“trrb“ “beta“）;
rateval（“trrc“ 1.0）;
useparm（“trrc“ “delta“）;
rateval（“trupdn1“ 1.0）;
useparm（“trupdn1“ “gamma“）;
rateval（“trdnup“ 1.0）;
useparm（“trdnup“ “tau“）;
rateval（“trdep“ 1.0）;
useparm（“trdep“ “mu“）;
rateval（“trarr“ 1.0）;
useparm（“trarr“ “lambda“）;
imm（“truc“）;
imm（“trc“）;
probval（“truc“ 1-c）;
probval（“trc“ c）;
guard（“trupdn“ g_trupdn）;
guard（“trupdn1“ g_trupdn1）;
guard（“trdnup“ g_trdnup）;
guard（“trarr“ g_sysup）;
guard（“trdep“ g_sysup）;
guard（“trsys“ g_trsys）;
iarc（“trarr“ “bufree“）;
oarc（“trarr“ “bufull“）;
iarc（“trdep“ “bufull“）;
oarc（“trdep“ “bufree“）;
iarc（“trsys“ “sysdn“）;
oarc（“trsys“ “sysup“）;
iarc（“trupdn1“ “procup“）;
iarc（“trupdn1“ “sysup“）;
oarc（“trupdn1“ “procdn“）;
oarc（“trupdn1“ “sysdn“）;
iarc（“trdnup“ “procdn“）;
oarc（“trdnup“ “procup“）;
iarc（“trupdn“ “sysup“）;
iarc（“trupdn“ “procup“）;
oarc（“trupdn“ “proctmp“）;
iarc（“truc“ “proctmp“）;
oarc（“truc“ “prrb“）;
iarc（“trc 属性 大小 日期 时间 名称
----------- --------- ---------- ----- ----
文件 128 2001-04-23 11:47 SPNS\Spnp-Gui\Document\README.txt
文件 918788 2001-02-28 17:57 SPNS\Spnp-Gui\Document\spnpmanual.pdf
文件 330 2001-05-04 17:14 SPNS\Spnp-Gui\ex2.gph
文件 159 2000-04-20 13:27 SPNS\Spnp-Gui\Examples-Official\P0.rgl
文件 7534 2000-04-20 13:27 SPNS\Spnp-Gui\Examples-Official\P0_molloy.srn
文件 10683 2000-03-24 13:09 SPNS\Spnp-Gui\Examples-Official\P13_splitting2_net.srn
文件 156 2000-04-20 14:04 SPNS\Spnp-Gui\Examples-Official\P2.rgl
文件 163 2001-04-26 17:07 SPNS\Spnp-Gui\Examples-Official\P20.rgl
文件 10289 2001-04-26 17:07 SPNS\Spnp-Gui\Examples-Official\P20_dual_tank.srn
文件 11956 2000-04-20 14:04 SPNS\Spnp-Gui\Examples-Official\P2_Ex2.srn
文件 156 2000-04-20 14:39 SPNS\Spnp-Gui\Examples-Official\P3.rgl
文件 5435 2000-04-20 14:39 SPNS\Spnp-Gui\Examples-Official\P3_Ex3.srn
文件 156 2000-04-24 11:07 SPNS\Spnp-Gui\Examples-Official\P5.rgl
文件 27174 2000-04-24 11:07 SPNS\Spnp-Gui\Examples-Official\P5_net.srn
文件 490 2000-04-24 15:29 SPNS\Spnp-Gui\Examples-Official\P8.rgl
文件 10567 2000-04-24 15:29 SPNS\Spnp-Gui\Examples-Official\P8_net.srn
文件 34816 2000-05-12 12:04 SPNS\Spnp-Gui\GCC_instruction\environment.doc
文件 527 2000-04-20 13:39 SPNS\Spnp-Gui\GCC_instruction\README_SPNP_PC.txt
文件 58 1999-12-02 18:09 SPNS\Spnp-Gui\GCC_instruction\sc
文件 726 2000-03-25 18:37 SPNS\Spnp-Gui\GRAPH_examples\combine.dat
文件 21 2000-03-21 04:04 SPNS\Spnp-Gui\GRAPH_examples\combine.info
文件 743 2000-03-21 04:05 SPNS\Spnp-Gui\GRAPH_examples\combinePs.dat
文件 21 2000-03-21 04:05 SPNS\Spnp-Gui\GRAPH_examples\combinePs.info
文件 252 2000-03-21 04:02 SPNS\Spnp-Gui\GRAPH_examples\P0.dat
文件 21 2000-03-21 04:02 SPNS\Spnp-Gui\GRAPH_examples\P0.info
文件 258 2000-03-21 13:45 SPNS\Spnp-Gui\GRAPH_examples\P0_graph.dat
文件 50 2000-03-21 13:45 SPNS\Spnp-Gui\GRAPH_examples\P0_graph.info
文件 251 2000-03-21 04:03 SPNS\Spnp-Gui\GRAPH_examples\P1.dat
文件 21 2000-03-21 04:03 SPNS\Spnp-Gui\GRAPH_examples\P1.info
文件 261 2000-03-21 04:03 SPNS\Spnp-Gui\GRAPH_examples\P2.dat
............此处省略1171个文件信息
- 上一篇：数值分析David版中文
- 下一篇：QT5开发及 陆文周电子版
川公网安备 51152502000135号
评论
共有 条评论