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
其他文献
期刊
期刊
本文叙述了用银-氯化银作参比电极的复合离子敏感场效应晶体管的制备、原理和测量结果。通过实验和理论分析,提出了用无液接的银-氯化银电极作参比电极的可行性和克服其不稳
人格具有独特性、相对稳定性和可塑性.高校辅导员作为大学生的直接管理者和组织者,与大学生的健康人格有着密不可分的关系,在大学生的人格教育工作中扮演了重要角色.辅导员应
大学不同于初中和高中,学生在大学里不仅要学习知识,而要从教师的教诲中学习研究事物的态度;不仅要锻炼自己的能力,更要培养一种对社会的人文关怀.钱宾四先生也曾指出中国的
期刊
通过远程开放教育条件下的面授辅导、利用多种媒体自主学习、利用网络互动提高农民工学员学习积极性、加强实践性教学环节提高农民工学员职业技术能力等四个方面论述了发挥远
很久以前,农民无地或少地,只种粮食作物,因为产量低,填不饱肚子,便栽上二亩红薯,出上两三车。一部分吃鲜;一部分鲜储;一部分切片,晒成干,磨成面;一部分磨成粉,下成粉条。这样
1.常规贮藏法主要采用干燥、自然低温、密闭的方法,将加工出机的大米冷却到仓温后,才堆垛保管。高水分大米,可以码垛通风后进行短期保管,或通风摊凉降水后再密闭贮藏。2.低温
目的:观察Bcl-2shRNA稳定转染联合γ线照射对胃癌细胞SGC-7901凋亡的影响。   方法:构建针对Bcl-2基因的干扰质粒pGPH1/GFP/Neo,经脂质体介导转染SGC-7901细胞,G418筛选稳定表