文件名称:petrinet-source
介绍说明－－下载内容均来自于网络，请自行研究使用
Petri Nets Simulator with Individual Tokens
Application allows you to create, analyse and simulate the following types of Petri nets: PT nets, nets with indywidual tokens and constant arc labels and nets with indywidual tokens and variable arc labels.
Its advantages are: intuitive edition of Petri nets, bilingual user interface (english and polish) and integration with the analyzer INA.
Program works under MS Windows (all 32-bit and 64-bit x86 versions).
User s manual is in PETRINET_EN.htm file.
You can download installer at http://students.mimuw.edu.pl/~witas/
Application allows you to create, analyse and simulate the following types of Petri nets: PT nets, nets with indywidual tokens and constant arc labels and nets with indywidual tokens and variable arc labels.
Its advantages are: intuitive edition of Petri nets, bilingual user interface (english and polish) and integration with the analyzer INA.
Program works under MS Windows (all 32-bit and 64-bit x86 versions).
User s manual is in PETRINET_EN.htm file.
You can download installer at http://students.mimuw.edu.pl/~witas/
(系统自动生成,下载前可以参看下载内容)
下载文件列表
ENU
...\about.dfm
...\about.dfn
...\analiza.dfm
...\analiza.dfn
...\edmiejsca.dfm
...\edmiejsca.dfn
...\edstrzalek.dfm
...\edstrzalek.dfn
...\edtranzycji.dfm
...\edtranzycji.dfn
...\konfiguruj.dfm
...\konfiguruj.dfn
...\Petri.dfm
...\Petri.dfn
...\PetriNet.dof
...\PetriNet.dpr
...\PetriNet_DRC.rc
...\PetriNet_DRC.rcn
...\PetriNet_DRC.RES
...\PetriNet_ENU.bdsproj
...\PetriNet_ENU.bdsproj.local
Petri nets
..........\English
..........\.......\0_en.knf
..........\.......\0_en.luk
..........\.......\0_en.mie
..........\.......\0_en.trn
..........\.......\1_en.knf
..........\.......\1_en.luk
..........\.......\1_en.mie
..........\.......\1_en.trn
..........\.......\2_en.knf
..........\.......\2_en.luk
..........\.......\2_en.mie
..........\.......\2_en.trn
..........\.......\3_en.knf
..........\.......\3_en.luk
..........\.......\3_en.mie
..........\.......\3_en.trn
..........\.......\4_en.knf
..........\.......\4_en.luk
..........\.......\4_en.mie
..........\.......\4_en.trn
..........\.......\5_en.knf
..........\.......\5_en.luk
..........\.......\5_en.mie
..........\.......\5_en.trn
..........\.......\6_en.knf
..........\.......\6_en.luk
..........\.......\6_en.mie
..........\.......\6_en.trn
..........\.......\7_en.knf
..........\.......\7_en.luk
..........\.......\7_en.mie
..........\.......\7_en.trn
..........\.......\8_en.knf
..........\.......\8_en.luk
..........\.......\8_en.mie
..........\.......\8_en.trn
..........\.......\elevator_en.knf
..........\.......\elevator_en.luk
..........\.......\elevator_en.mie
..........\.......\elevator_en.trn
..........\.......\intersection_en.knf
..........\.......\intersection_en.luk
..........\.......\intersection_en.mie
..........\.......\intersection_en.trn
..........\.......\problem_en.knf
..........\.......\problem_en.luk
..........\.......\problem_en.mie
..........\.......\problem_en.trn
..........\.......\railroad_en.knf
..........\.......\railroad_en.luk
..........\.......\railroad_en.mie
..........\.......\railroad_en.trn
..........\.......\seasons_en.knf
..........\.......\seasons_en.luk
..........\.......\seasons_en.mie
..........\.......\seasons_en.trn
..........\.......\seasons_pt_en.knf
..........\.......\seasons_pt_en.luk
..........\.......\seasons_pt_en.mie
..........\.......\seasons_pt_en.trn
..........\.......\tvpilot_en.knf
..........\.......\tvpilot_en.luk
..........\.......\tvpilot_en.mie
..........\.......\tvpilot_en.trn
..........\Polish
..........\......\0.KNF
..........\......\0.luk
..........\......\0.mie
..........\......\0.trn
..........\......\1.KNF
..........\......\1.luk
..........\......\1.mie
..........\......\1.trn
..........\......\2.KNF
..........\......\2.luk
..........\......\2.mie