时间Petri网仿真工具

【实例简介】
时间Petri网的仿真工具，自己用着感觉对于初学者已经够用
【实例截图】
【核心代码】
b6b282f9-7c6a-4692-9e13-af3fb15063fc
└── tina-3.1.0
├── bin
│   ├── circo.exe
│   ├── dot.exe
│   ├── graphplace.exe
│   ├── kill.exe
│   ├── ktzio.exe
│   ├── libdl.dll
│   ├── libpolkag.dll
│   ├── libpolkai.dll
│   ├── libpolkal.dll
│   ├── ltl2ba.exe
│   ├── muse.exe
│   ├── nd.exe
│   ├── ndrio.exe
│   ├── neato.exe
│   ├── pathto.exe
│   ├── plan.exe
│   ├── play.exe
│   ├── plughelp.exe
│   ├── plugins
│   │   ├── ndmount
│   │   └── plughelp.tcl
│   ├── selt.exe
│   ├── sift.exe
│   ├── struct.exe
│   └── tina.exe
├── CHANGES.txt
├── doc
│   ├── html
│   │   ├── formats.html
│   │   ├── ktzio.html
│   │   ├── muse.html
│   │   ├── nd.html
│   │   ├── ndrio.html
│   │   ├── pathto.html
│   │   ├── plan.html
│   │   ├── play.html
│   │   ├── selt.html
│   │   ├── sift.html
│   │   ├── struct.html
│   │   └── tina.html
│   ├── man
│   │   └── mann
│   │   ├── formats.n
│   │   ├── ktzio.n
│   │   ├── muse.n
│   │   ├── nd.n
│   │   ├── ndrio.n
│   │   ├── pathto.n
│   │   ├── plan.n
│   │   ├── play.n
│   │   ├── selt.n
│   │   ├── sift.n
│   │   ├── struct.n
│   │   └── tina.n
│   └── txt
│   ├── formats.txt
│   ├── ktzio.txt
│   ├── muse.txt
│   ├── ndrio.txt
│   ├── nd.txt
│   ├── pathto.txt
│   ├── plan.txt
│   ├── play.txt
│   ├── selt.txt
│   ├── sift.txt
│   ├── struct.txt
│   └── tina.txt
├── extras
│   └── bcgsupport
│   ├── bcg_lib.c
│   ├── Makefile
│   └── README
├── INSTALL.txt
├── nets
│   ├── abp.adr
│   ├── abp.aut
│   ├── abp.ktz
│   ├── abp.ndr
│   ├── abp.net
│   ├── hp.ktz
│   ├── hp.ndr
│   ├── ifip.adr
│   ├── ifip.aut
│   ├── ifip.bcg
│   ├── ifip.ktz
│   ├── ifip.ndr
│   ├── ifip.net
│   ├── l6000.aut
│   ├── l6000.ktz
│   ├── l6000.ndr
│   ├── l6000.net
│   ├── pnml_examples
│   │   ├── abp.pnml
│   │   ├── hp.pnml
│   │   ├── ifip.pnml
│   │   ├── ifip_t.pnml
│   │   └── ifip.xml
│   ├── prio_examples
│   │   └── ifip.net
│   ├── sw_examples
│   │   ├── swtpn.ndr
│   │   ├── swtpn.net
│   │   └── tasks.ndr
│   ├── tpn_examples
│   │   └── trains
│   │   ├── 3trains.tpn
│   │   ├── barrier.tpn
│   │   ├── components
│   │   │   ├── barrier.ndr
│   │   │   ├── barrier.net
│   │   │   ├── controler.ndr
│   │   │   ├── controler.net
│   │   │   ├── train.ndr
│   │   │   └── train.net
│   │   ├── controler.tpn
│   │   ├── mkcontroler.sh
│   │   ├── mktrains.sh
│   │   ├── README
│   │   ├── system1.tpn
│   │   ├── system2.tpn
│   │   ├── system3.tpn
│   │   ├── system4.tpn
│   │   ├── system.tpn
│   │   └── train.tpn
│   └── tts_examples
│   ├── API
│   ├── ifip
│   │   ├── ifip.c
│   │   ├── ifip.ndr
│   │   └── Makefile
│   ├── lib
│   │   ├── avl
│   │   │   ├── avl.c
│   │   │   ├── avl.h
│   │   │   └── README
│   │   ├── db.h
│   │   ├── fiacre.h
│   │   └── README
│   ├── naimitrehel1
│   │   ├── Makefile
│   │   ├── mknt.sh
│   │   ├── ntbase.c
│   │   └── results
│   ├── naimitrehel1-cp
│   │   ├── Makefile
│   │   ├── mknt.sh
│   │   ├── ntbase.c
│   │   └── results
│   ├── naimitrehel1-db
│   │   ├── Makefile
│   │   ├── mknt.sh
│   │   ├── ntbase.c
│   │   └── results
│   ├── naimitrehel2
│   │   ├── Makefile
│   │   ├── mknt.sh
│   │   ├── ntbase.c
│   │   └── results
│   ├── README
│   └── trains
│   ├── barrier.ndr
│   ├── Makefile
│   ├── mktrains.sh
│   ├── results
│   ├── train.ndr
│   └── trainsbase.c
└── README.txt

26 directories, 143 files