Petri网可视化工具的设计与实现

来源 :华中科技大学学报(自然科学版) | 被引量 : 0次 | 上传用户:ww447978636
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用面向对象思想和可视化编程工具VisualC + +语言开发了图形化的Petri网建模工具GPNT ,GP NT系统作为一个计算机辅助设计和分析工具 ,使用户可在交互式的计算机图形方式下进行Petri网的建立、删除、修改和存储 .并可通过对关联矩阵的初等线性变换求解Petri网的S不变量和T不变量 ,本GPNT系统可用于Petri网模型的设计、分析和动态仿真 Application of object-oriented thinking and visual programming tools VisualC + + language has developed a graphical Petri net modeling tool GPNT, GP NT system as a computer-aided design and analysis tools that allow users to interactive Petri net computer graphics mode The GPNT system can be used in the design, analysis and dynamic simulation of Petri net model by solving the elementary S-invariant and T-invariant of Petri net by the elementary linear transformation of the correlation matrix
其他文献
期刊
期刊
目的:观察Bcl-2shRNA稳定转染联合γ线照射对胃癌细胞SGC-7901凋亡的影响。   方法:构建针对Bcl-2基因的干扰质粒pGPH1/GFP/Neo,经脂质体介导转染SGC-7901细胞,G418筛选稳定表