共查询到20条相似文献,搜索用时 10 毫秒
1.
引进Petri网概念刻划图标(Icon)的动态行为和相互作用并给出一个可视化编程系统.通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术 相似文献
2.
随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计. 相似文献
3.
张成现 《西安工程科技学院学报》1997,(3)
在一类混杂控制系统中提出了禁止状态控制问题,给出了能保证系统状态不进入禁止状态的Petri网监控器的综合方法.通过示例说明了问题的形成与控制器综合方法的有效性. 相似文献
4.
苏远霖 《暨南大学学报(自然科学与医学版)》1988,(1)
本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。 相似文献
5.
基于Petri网的PLC程序设计 总被引:2,自引:0,他引:2
随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计. 相似文献
6.
Petri网可视化工具的设计与实现 总被引:12,自引:0,他引:12
应用面向对象思想和可视化编程工具VisualC 语言开发了图形化的Petri网建模工具GPNT,GPNT系统作为一个计算机辅助设计和分析工具,使用户可在交互式的计算机图形方式下进行Petri网的建立,删除,修改和存储,并可通过对关联矩阵的初等线性变换求解Petri网的S不变量和T不变量,本GPNT系统可用于Petri网模型的设计,分析和动态仿真。 相似文献
7.
讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力. 相似文献
8.
可视程序设计(VisualProgramming)允许用户使用图形或图表来创建和调试程序,目的在于减少人与计算机交流的障碍,改变系统的软件开发模型以解决需求分析这一瓶颈问题,它可能成为软件开发的新的有效模型,文中探讨了可视语言产生的背景,阐述了程序可视化技术的基本原理及研究现状,最后,比较详细地介绍了一个可视程序设计环境JT-VPE的设计和实现。 相似文献
9.
Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集,以各个基本进程段集的输入和输出库所集的并集为新的库所集,以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念,讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。 相似文献
10.
根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助. 相似文献
11.
基于Petri网的数字图书馆系统建模 总被引:1,自引:0,他引:1
Petri网是具有形象直观的图形描述以及严格的数学定义的建模工具。通过对数字图书馆书刊流通系统建模,探讨了Petri网在数字图书馆建模中的运用。 相似文献
12.
与时间相关系统的Petri网模型 总被引:1,自引:0,他引:1
首先简介一般加时间Petri网模型及其使能规则和点火规则,然后给出几种典型的加时间的Petri网模型及其动态行为及点火规则,其中,通讯时间Petri网侧重于网与环境之间的通讯;TCPN侧重于讨论变迁的最早和最晚点火时间以及点火持续时间;GSPN侧重于从概率的角度讨论变迁的点火时间问题,本还给出三种具有代表性的用于描述多媒体同步的Petri网模型及其点火规则。 相似文献
13.
可视程序设计(VisualProgramming)允许用户使用图形或图表来创建和调试程序,目的在于减少人与计算机交流的障碍,改变传统的软件开发模型以解决需求分析这一瓶颈问题,它可能成为软件开发的新的有效模型.文中探讨了可视语言产生的背景,阐述了程序可视化技术的基本原理及研究现状.最后,比较详细地介绍了一个可视程序设计环境JT-VPE的设计和实现. 相似文献
14.
无环Petri网的结构性质赵正义宋文忠(东南大学自动化研究所,南京210018)无环Petri网是一类特殊的Petri网,在研究离散事件动态系统(DEDS)的控制问题时经常会遇到,如文[1]中的结构无竞争无环Petri网,文[2]中的广义树结构均属... 相似文献
15.
16.
基于Petri网密码系统的实现 总被引:2,自引:0,他引:2
赵不贿 《江苏理工大学学报(自然科学版)》2001,22(4):71-74
研究了用Petri网对密码系统建模和分析,用在系统可编程逻辑器件实现Petri网的方法,这种密码系统的设计方法简单、直观,由于Petri能够对复杂系统进行建模和分析,因此,采用这一方法能够十分容易地构造出复杂的密码系统,并确保系统的安全、可靠,文中给出了几种密码系统的Petri网模型,并给出了硬件实现的实例。 相似文献
17.
以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法. 相似文献
18.
二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解. 相似文献
19.
液压系统建模分析的Petri网描述 总被引:1,自引:0,他引:1
摘要:针对复杂的液压系统难于直接分析的特点,探讨了运用Petri网理论进行液压系统建模分析的一般步骤,并通过实例分析,证实了Petri网对液压系统进行建模分析的可行性.该方法简单易行,提高了复杂液压系统的分析效率. 相似文献
20.
城市道路交通仿真系统混合Petri网建模 总被引:6,自引:0,他引:6
城市道路交通系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征,混合Petri网可以很好地描述城市道路交通网的静态属性及动态行为,为此给出了混合Petri网建模实例,并对模型进行了仿真运行分析,最后介绍了城市道路交通仿真系统的仿真策略与仿真流程图。 相似文献