您现在的位置:网站首页答辩论文计算机毕业设计JAVA/JSP

PT Petri网系统模型的可视化工具研发

  • 简介:摘 要 Petri网作为一种图形化、数学化的系统建模工具,为描述和分析具有并发性、异步性、分布式、非确定性等特征的复杂系统提供了强有力的手段。随着Petri网理论和应用的发展,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得特别重要。 ...
    • 请与管理员联系购买资料 QQ:5739126
  • 论文简介
  • 相关论文
  • 论文下载

 

Petri网作为一种图形化、数学化的系统建模工具,为描述和分析具有并发性、异步性、分布式、非确定性等特征的复杂系统提供了强有力的手段。随着Petri网理论和应用的发展,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得特别重要。

可视化建模是从基于图形的建模发展而来的它使用户对模型结构和模型表示有很好的理解,能帮助用户增强对问题的理解和洞察Petri网作为一种建模工具, 在许多领域均有成功的应用,Petri网经过一定的改造和扩展,也能用于DSS 的建模支持Petri网作为图形建模工具,具有严谨的数学基础,特别是对并发、冲突的处理,更独具一格,它无论在模型的静态连接和动态集成,还是在模型的求解和模型的生成方面均优于目前的图形建模方法

为了更好的利用Petri网简洁、直观的图形建模方法,本论文旨在通过Visual C++开发环境开发一款基于图形界面的Petri网模型建立和调试工具,其基本要求是:运行稳定,操作简单,界面清晰友好,功能实用够用,用户可以通过标准图形界面的方式绘制,编辑Petri网模型图,并对其迁移过程进行观察和调试,便于推广应用。

 

关键词Petri网;可视化;建模支持;模型表示;模型生成;图形界面

 

 

ABSTRACT

Petri Nets is a graphics and digital system modeling tool, which provides an efficient way to describe and analyze the complex system that is concurrency, asynchrony, distributivity, or nondeterminacy. With the development of the Petri Nets theory and applications, the research of the assistant for the Petri Nets designing and analyzing assumes more and more important.

The visualization modeling has been developed from the graphics modeling, which makes the model structure and model representation easy to understand by users. Being a modeling tool, the Petri Nets succeeded in the applications in a broad field. The Petri Nets also can be used for modeling support by appropriate alteration and extended. To be a graphical modeling tool, the Petri Nets is based on the religious mathematics, especially adept at processing the concurrency and conflict. No matter the static link and dynamic integration, or the model solving and the model generation, the Petri Nets is better than any other graphics modeling at present.

To use the Petri Nets graphical modeling sententiously and intuitively, the thesis is about the way to using Visual C++ development environment to develop a constitute and debug tool found on the Petri Nets GUI. The essential request is the stabilization of running, the simplicity of operation, the friendliness of the User Interface, and the utility and sufficiency of the functions. Users can draw and edit the Petri Nets model diagram through the standard GUI, and also can observe and debug the migration. It is also helpful to promote the applications.

Key wordPetri Netsvisualizationmodeling supportmodel representationmodel generationGUI(Graphical User Interfaces)

 

 

   

1章 绪论.. 1

1.1 概述. 1

1.2 系统开发的背景、目的及意义        2

1.3 国内外相关技术的研究现状          3

1.4 作者的工作内容及论文结构          4

2Petri网原理和系统建模. 6

2.1 Petri网原理        6

2.1.1 Petri网的基本概念............ 6

2.1.2 基于Petri网的形式化定义........ 7

2.1.3 基于Petri网的模型表示.......... 8

2.1.4 Petri网变迁与工作流活动的动态适应性.......... 9

2.1.5 扩展的Petri网模型 11

2.2 Petri网的应用      12

2.2.1 在制造系统的建模、分析、控制和优化设计 12

2.2.2 用于离散系统的建模和仿真....... 14

2.2.3 应用于计算机科学的有关领域..... 15

2.3 本章小结          16

3Petri网的可视化....... 17

3.1 关于可视化技术的研究. 17

3.2 PetriNetwork系统软件总体设计. 18

3.3 本章小结          23

4可视化实现的方法和技术 24

4.1 开发环境和工具    24

4.1.1 Visual C++ 6.0的组成......... 24

4.1.2 Visual C++的特点 28

4.1.3 MFC的简介.. 29

4.2 系统设计和开发模块... 30

4.2.1 工具条的创建... 31

4.2.2 主菜单的创建... 33

4.2.3 字符串表的编辑. 34

4.2.4 对话框的创建... 35

4.3 PetriNetwork的实际应用    38

4.4 本章小结          40

    ..... 41

参考文献..... 42

    ..... 43

         

查看评论 已有0位网友发表了看法
  • 验证码: