同步时序电路的增广Petri网分析

本文应用抑制弧的增广Ｐｅｔｒｉ网建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型；并运用该模型描述了同步时序电路；提出了增广Ｐｅｔｒｉ网的授权矩阵、状态转移方程和触发展次态与变迁授权条件的关系，在此基础上可对同步时序电路描述和分析，并用实例证明了该方法的有效性。     

三值动态和静态广义时序机理论

该文在三值电路三要素理论的基础上提出了三值动态和静态广义时序机理论。首先找出三值状态图和电路方程间的关系,该关系既适用于静态电路,又适用于动态电路。对静态电路文中推导出各型三值触发器完整特性方程,它描述了触发器全时刻的行为,用以代替常规特性方程,使三值同步和异步时序电路统一。对动态电路该文用电容代替触发器存储三值信息,实现三值动态时序电路(特别是三值同步动态时序电路,属于非触发器式的时序电路)。因动态电路和静态电路主要差别是负载行为,故此可以在三值电路三要素理论和广义时序机理论下统一三值动态和静态,同步和异步时序电路。     

同步和异步时序电路的统一设计和分析理论

本文讨论了时钟信号的普遍描述和含时钟信号的触发器次态方程,并在此基础上提出了同步和异步时序电路的统一设计和分析理论。该理论的有效性已由实例予以证明。     

同步和异步时序电路的统一设计和分析理论

本文讨论了时钟信号的普遍描述和含时钟信号的触发器次态方程，并在此基础上提出了同步和异步时序电路的统一设计和分析理论。该理论的有效性已由实例予以证明。     

同步Petri网的仿真及硬件实现

基于现有的EDA技术,针对同步Petri网和硬件描述语言的关联性,提出了用VHDL语言对同步Petri网进行描述并实现.首先使用同步Petri网对控制器进行建模,然后使用VHDL语言对同步Petri网控制模型进行描述,最终在EDA软件Max+ PlusII中进行编译、仿真和适配,并下栽到FPGA中,通过实验开发系统GW...     

交叉耦合绝热动态触发器及同步动态时序电路

本文提出交叉耦合绝热动态触发器及其同步时序电路综合方法。首先利用文献[1]的电路三要素理论定量描述交叉耦合型绝热锁存器，由绝热主锁存器和从锁存器构成一个单相输入的绝热触发器。在交叉耦合型绝热触发器的基础上，本文提出绝热同步动态时序电路综合方法，用此法设计出绝热8421BCD码错码检测电路（仅用50管），总功耗小于三个绝热ADL非门的功耗，计算机模拟验证本文方法的正确性。     

基于时间Petri网的交互式多媒体动态同步模型

多媒体同步是多媒体信息系统的关键技术和基础。本文在克服当前多媒体同步模型局限性的基础上，提出了一个新的基于时间Petri网的多媒体同步模型IDSM。该模型以形式化的方式完整、准确地描述了多媒体信息流的动态时间行为。     

异步时序逻辑电路的设计方法探讨

在传统的同步时序电路设计方法的基础上,提出了一种新的异步时序电路的设计方法。该方法直接从时序电路的时序波形图,获得触发器的触发脉冲;根据时钟信号作用下引起的状态转换,填写次态卡诺图。其特点是原理简单,易于理解,使设计更加直观清楚。     

一种同步和异步时序电路统一分析的新方法

本文引入触发器的跳变函数，讨论触发器的时钟激励方程，从而提出一种同步和异步时序电路统一分析新方法。该方法的有效性和可操作性已由实例予以证明。     

阶跃信号和时序电路设计

本文讨论了阶跃信号在触发器特征方程中表现的新形式,由此统一描述同步和脉冲异步时序电路的设计方法。文中深入地探讨了多阶跃信号cp(?)↓作用下的状态转移图,推导出相应的多阶跃信号的激励方程,使多阶跃时序电路的设计易于实现。     

A new formulation for state equation representation for Petri nets

A new algorithm for determination of state equations for Petri nets has been proposed. The proposed algorithm results in state equations similar to the state equations for linear sequential machines. All Petri nets may not be represented in the form of linear sequential machines. The resulting state equations are different from Petri net state equations and include output equations used in control theory literature.     

控制电路基于Petri网元件的图形化设计与仿真研究

Petri网是异步并发系统建模的重要工具,正越来越多地被应用在超大规模集成电路之中,从系统的Petri网模型直接获得相应的逻辑电路是许多学者研究的目标.文章在通用的EDA软件中,使用硬件描述语言建立Petri网元件,并给出了它们的源代码.对于Petri网中的C/E系统,变迁用组合逻辑电路实现,库所用时序逻辑电路实现;而对于P/T系统,为了减少连线,库所和它的输入、输出变迁一起组成一个元件.在对一个受控系统建立了控制器的Petri网模型后,通过调用元件库中的Petri网元件,绘制控制器的Petri网图,经编译、仿真、优化、适配、下载在CLPD或FPGA中,就可获得控制器.Petri网元件与其它电路元件可混合使用,这为控制器的设计与实现提供了一种新的有效途径.文章分别给出了C/E系统和P/T系统的实例,仿真结果表明基于Petri网元件的图形化设计方法的正确性.     

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

AND/OR net representation for robotic task sequence planning

The paper describes a framework for task sequence planning for a generalized robotic work cell. The AND/OR net provides a compact, distributed, domain-specific representation of geometric configurations of parts and devices in the work cell. The approach maintains a correspondence from geometric state information to task and motion plans and on-line discrete-event control that is not available in traditional action-based planners. The feasibility criteria for each AND/OR net transition guide the geometric reasoning required in the planning of feasible sequences. The resulting search space for plans is often much smaller (due to explicit representation of geometric constraints) than the state space of an action-based task planner. For purposes of analysis, the AND/OR net is mapped into a Petri net and the resulting Petri net is shown to be bounded and have guaranteed properties of liveness, safeness, and reversibility. In this form, the AND/OR net may be viewed as a Petri net synthesis tool in which the resulting Petri net representation may be used for on-line scheduling and control of the system     

State equation representation of logic operations through a Petri net

The representation of a Petri net is given with state equations more general than those described by Murata. With the proposed state equation, all the logic operations hitherto not covered, can be conveniently represented using general form. This makes it possible to analyze the Petri net model of a computer.     

Modeling, analysis, simulation, scheduling, and control ofsemiconductor manufacturing systems: A Petri net approach

This paper presents a Petri net approach to modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems. These systems can be characterized as discrete event systems that exhibit sequential, concurrent, and conflicting relations among the events and operations. Their evolution is dynamic over time. The system complexity is tremendous owing to the complex semiconductor manufacturing processes and test procedures. A formal approach such as Petri nets enables one to describe such complex discrete event systems precisely and thus allows one to perform both qualitative and quantitative analysis, scheduling and discrete-event control of them. This paper also serves as a tutorial paper. It briefly reviews applications of Petri nets in semiconductor manufacturing automation. It then introduces definitions and concepts of Petri nets. It proceeds with a discussion of basic Petri net modules in system modeling, a modeling method and a practical system's modeling example. Next, the paper presents their properties and their implications in manufacturing systems, as well as their analysis methods. Timed Petri nets are introduced for system simulation, performance evaluation, and scheduling purposes. An application-oriented case study is presented. Finally, the paper concludes with the active research areas in applying Petri nets to design of semiconductor manufacturing systems     

基于Petri网的电网故障诊断方法研究

提出基于Petri网理论的地区电网故障分层诊断方法。根据变迁的发生及库所中托肯的转移得到稳态Petri网模型,最终确定故障元件。该方法采用图形化和解析式对电网故障诊断过程进行描述,实现具有信息预处理及启动检测、故障的检测、网络结构的更新、故障诊断、设备动作行为评价、人机交互等功能。并在局部电网中进行了诊断与分析验证。     

基于随机Petri网的虚拟网可生存性模型研究

针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基于最常用的先到先服务(FCFS)故障修复策略得到系统状态可达图,通过引入补充变量建立系统状态概率方程,并最终求解得到该模型。通过仿真实验对该可生存性模型的有效性进行验证,仿真结果表明,理论模型计算结果与仿真结果拟合性较好,可用于描述基于FCFS故障修复策略的RSCN可生存性能。     

Petri网与二元文法的语言等价性

为了用一种类似Chomsky文法体系中的文法描述Petri网语言,研究了二元文法与Petri网语言之间的关系,给出了将二元文法等价转化为Petri网的方法和将Petri网等价转化为二元文法的方法,从而,证明了二元文法产生的语言等价于Petri网语言.     

基于微分Petri网的业务流程模块适配方法

为适应业务流程多功能及动态变化的需求，用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础，提出了微分控制Petri网和微分数据Petri网的概念，分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测，利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析，以达到业务流程模块适配分析.理论分析结果表明，所建立的微分表达式能够反映模型活性与稳定性，模块适配效果较好.最后基于平台数据进行仿真分析，实验结果表明本文所提的方法有一定的可行性.