用于一致性检查的知识库Petri网模型

知识库是一致性是决定专家系统效率及求解正确性的关键因素。本文以Ｐｅｔｒｉ网为工具对知识库进行模拟分析，把知识库一致性的检查化简为线性代数问题，把这一方法应用于分布式知识库系统，首次得到了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件，为建立（分布式）知识库的自动维护系统打下了基础。     

一种基于Petri网思想的知识库的动态维护方法

本文研究了基于规则的专家系统知识库的维护问题，在添加一条新规则后，知识库可能出现矛盾规则，循环规则，冗余规则，从属规则等。文中详细给出了基于Ｐｅｔｒｉ网思想的对知识库进行维护的算法，进而决定是否添加该规则，从而保证了知识库的一致性，为专家系统进行正确推理，提高推理速度打下了坚实的基础。     

时序逻辑电路的Petri网分析方法

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法。     

基于面向对象Petri网的知识库模型

根据Petri网能够对知识的细节进行抽象的特点及对知识库系统应用的需求，利用VC 对Petri网进行了类的封装，建立了基于面向对象Petri网的知识库模型，实现了对知识库的动态维护，并增加了单步推理和反向执行的功能，同时也改进了规则维护算法。     

基于混合法的叶片FMS控制系统研究

本文基于Ｐｅｔｒｉ网建模的混合法，建立了叶片ＦＭＳ控制系统活的、安全和可逆的Ｐｅｔｒｉ网模型，应用该模型开发了叶片ＦＭＳ控制系统仿真器，可成功地避免叶片ＦＭＳ的死锁产生。     

推理维护系统的Petri网模型

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

P/T-网与P/T-系统的同类性证明

在Ｐｅｔｒｉ网研究领域中,一直把Ｐ／Ｔ＿网（即经典意义上的Ｐｅｔｒｉ网系统）与Ｐ／Ｔ＿系统（即库所／变迁系统）划分为两类不同的Ｐｅｔｒｉ网进行研究。实际上,这两类Ｐｅｔｒｉ网没有质的区别,只要适当做些技术性处理,并将这些技术性处理建立在严格的同类性证明之上,即可把它们视为同一类Ｐｅｔｒｉ网系统。     

模糊Petri网的反馈控制研究

本文首先将模拟技术应用于Ｐｅｔｒｉ网中，得到模糊Ｐｅｔｒｉ网模型，然后基于Ｐｅｔｒｉ网中的库所湾量的概念，在普通Ｐｅｔｒｉ网的反馈控制基础上提出了一种模型Ｐｅｔｒｉ网的反馈控制方法。该方法使得对复杂系统的模糊Ｐｅｔｒｉ多控制器的系统设计成为可能。     

计算机网络的Petri网建模及性能指标平估

本文提出了用户广义随机Ｐｅｔｒｉ网理论对计算机网络进行性能指标评估建模的具体规则，并给出了其相应的广义随机Ｐｅｔｒｉ网图，导出了依据广义随机Ｐｅｔｒｉ网模型对计算机网络中几个主要性能指标直接进行计算的议程，克服了以往在建模过程中的盲目性和无规则性。     

Fuzzy rule base systems verification using high-level Petri nets

In this paper, we propose a Petri nets formalism for the verification of rule-based systems. Typical structural errors in a rule-based system are redundancy, inconsistency, incompleteness, and circularity. Since our verification is based on Petri nets and their incidence matrix, we need to transform rules into a Petri nets first, then derive an incidence matrix from the net. In order to let fuzzy rule-based systems detect above the structural errors, we are presenting a Petri-nets-based mechanism. This mechanism consists of three phases: rule normalization, rules transformation, and rule verification. Rules will be first normalized into Horn clauses, then transform the normalized rules into a high-level Petri net, and finally we verify these normalized rules. In addition, we are presenting our approach to simulate the truth conditions which still hold after a transition firing and negation in Petri nets for rule base modeling. In this paper, we refer to fuzzy rules as the rules with certainty factors, the degree of truth is computed in an algebraic form based on state equation which can be implemented in matrix computation in Petri nets. Therefore, the fuzzy reasoning problems can be transformed as the liner equation problems that can be solved in parallel. We have implemented a Petri nets tool to realize the mechanism presented fuzzy rules in this paper.     

Modeling and online scheduling of flexible manufacturing systemsusing stochastic Petri nets

The authors discuss the modeling of flexible manufacturing systems (FMSs) under uncertainty and evaluate a rule base for online scheduling. To represent uncertain events in an FMS, such as failure of machine tools, repair time, and processing time, they develop continuous-time and discrete-time stochastic Petri nets with hierarchical structures for constructing the FMS model. For obtaining an efficient schedule for the FMS with an online real-time basis, they construct a rule base and evaluate its performance using the FMS simulation system proposed     

Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control

In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A class of timed Petri nets named programmable timed Petri nets (PTPN) is then used to model hybrid systems. Using the PTPN, the stability and supervisory control of hybrid systems are addressed and efficient algorithms are introduced. In particular, we present sufficient conditions for the uniform ultimate boundness of hybrid systems composed of multiple linear time invariant plants which are switched between using a logical rule described by a Petri net. This paper also examines the supervisory control of a hybrid system in which the continuous state is transfered to a region of the state space in a way that respects safety specifications on the plant's discrete and continuous dynamics.     

基于Petri 网知识库维护方法的实现

知识库的维护是知识系统的关键部分，直接关系到系统能否正常运行，本文介绍了基于Petri网知识库维护方法的实现。     

A fuzzy Petri net-based expert system and its application to damageassessment of bridges

In this paper, a fuzzy Petri net approach to modeling fuzzy rule-based reasoning is proposed to bring together the possibilistic entailment and the fuzzy reasoning to handle uncertain and imprecise information. The three key components in our fuzzy rule-based reasoning-fuzzy propositions, truth-qualified fuzzy rules, and truth-qualified fuzzy facts-can be formulated as fuzzy places, uncertain transitions, and uncertain fuzzy tokens, respectively. Four types of uncertain transitions-inference, aggregation, duplication, and aggregation-duplication transitions-are introduced to fulfil the mechanism of fuzzy rule-based reasoning. A framework of integrated expert systems based on our fuzzy Petri net, called fuzzy Petri net-based expert system (FPNES), is implemented in Java. Major features of FPNES include knowledge representation through the use of hierarchical fuzzy Petri nets, a reasoning mechanism based on fuzzy Petri nets, and transformation of modularized fuzzy rule bases into hierarchical fuzzy Petri nets. An application to the damage assessment of the Da-Shi bridge in Taiwan is used as an illustrative example of FPNES.     

模糊Petri网在带权不精确知识表示和推理中的应用研究

Petri网是一种适合于描述异步并发事件的计算机系统模型 ,可以有效地对并行和并发系统进行形式化验证和行为分析 .以模糊 Petri网的基本定义为基础 ,讨论了带权模糊知识的模糊产生式系统表示法 ,建立了这种表示法与模糊 Petri网之间的映射关系和转换算法 ;在对模糊 Petri网进一步扩充的基础上 ,解决了与知识的模糊Petri网表示相关的几个问题 ;最后给出了模糊 Petri网中不确定性的计算方法和相应的不精确推理算法     

一种基于Petri网的分布组件协调模型

协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决.根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任     

A contribution to the organization of an expert system for process control of FMC

The distributed processes control model was investigated. A discussion of the automated acquisition of knowledge for process control is presented. The logical solution concept and basic details for implementing an interpreter are described. How it functions was considered, as well as the language for the control of expressions in base rules. A set of rules from the rule base are presented to show a simplified method of organizing a knowledge base by Petri net models of robots and machines.