資源簡介
隨機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號