Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places

This paper deals with the problem of forbidden states in Discrete Event Systems modelled by non‐safe Petri Nets. To avoid these states, some Generalized Mutual Exclusion Constraints can be assigned to them. These constraints limit the weight sum of tokens in some places and can be enforced on the system using control places. When the number of these constraints is large, a large number of control places should be added to the system. In this paper, a method is presented to assign the small number of constraints to forbidden states using some states which cover the forbidden states. So, a small number of control places are added to the system leading to obtaining a maximally permissive controller.     

基于有色Petri网的工作流故障诊断方法

工作流系统的故障自动诊断和定位是云计算环境提供持续服务的基础;为了提高工作流系统的故障诊断准确性,文章提出了一种基于有色Petri网的故障诊断方法;首先,用开放世系模型对工作流进行建模;然后,提出了一种基于有色Petri网的故障模型;最后,将工作流的开放世系模型转化为有色Petri网故障模型,并提出了相应的多故障诊断方法;实验表明,文章提出的方法不仅故障定位的准确率和执行效率高于相关算法,还能有效的识别系统中的多个故障.     

Controller Synthesis with Highly Simplified Linear Constraints

This paper deals with the problem of forbidden states in safe Petri nets to obtain a maximally permissive controller. To prevent the system from entering the forbidden states, assigning some constraints to them is possible. The constraints can be enforced on the system using control places. When the number of forbidden states is large, a large number of constraints should be assigned to them. This results in a large number of control places being added to the model of the system, which causes a complicated model. Some methods have been proposed to reduce the number of constraints. Nevertheless, they do not always give the best results. In this paper, two ideas are offered to reduce the number of constraints, giving a more simplified controller.     

高等院校在社区经济建设中的作用与运作

本文以高等院校为联系纽带,将其置身于经济欠发达地区的大环境中,探讨信息网的作用、建立与运作,政府的政策引导,招商引资与高校学生的创业,职高学生的就业有机结合,通过"教研结合,校企合一"的办学模式以及开放教科研设备、开展各种培训等方式,将高校与各界各业联系起来,使之成为中心城市的联络、辐射中心,为贫困地区如何发挥高职院校的作用提供新思路。     

多业务协同分析及其Petri模型的研究

针对制造企业生产管理中多部门和多业务之间存在的相互制约、协同和前驱后继关系的问题,对多业务协同控制进行分析,并在此基础上设计实现计划之间和业务之间协同控制的Petri网模型,完成主要业务的计划、出入库单和库存之间的信息交互和约束控制,并在实际多业务协同控制系统中实现业务多进程处理的协调控制,取得良好应用效果。     

基于Petri网的售货机物流配送建模研究

利用Petri网技术构建了无线自动售货机和传统自动售货机的物流配送模型,分别对这两种情况下的配送利用HPSIM仿真软件建模进行时效分析与比较。结果表明,利用无线网络的自动售货机的配送时效小于传统方式,提升了物流配送效率。     

一种模糊Petri网分层的新算法

针对模糊Petri网自学习能力差的缺点,在分析研究已有研究成果的基础上,指出了已有模糊Petri网分层算法的不足之处,并提出了一种具有普遍适用性的FPN分层算法。在该分层算法中,同一个库所的输出变迁被置于同一层次结构之中,在必要时可增加相应的虚库所和虚变迁,避免了同一层中变迁触发冲突问题的发生。该分层算法将神经网络理论引入模糊Petri网的研究中,实验验证了其正确性。     

基于嵌套网的JADE建模

良好的形式化建模方法是大规模开发和应用多Agent系统(MAS)的必要条件之一,使用多层的嵌套网对JADE进行层次化建模,给出面向对象的MAS与NP-nets之间的对照关系。指出通过引入层次结构,不仅能有效地控制状态空间的规模,而且能通过网托肯的嵌套方式克服Petri网结构演化的困难。     

基于petri网的电子政务工作流建模研究

以电子政务系统中的审批子系统为例,研究了一种基于Petri网的电子政务工作流建模方法,该方法是工作流建模和分析的理想工具,具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上,论证了该方法的正确性,表明该方法对电子政务系统建模是实用的。     

基于Petri网的软件演化过程

随着遗产软件系统的老化,软件演化已成为软件工程的一个新兴领域.对软件演化及过程的特征进行了描述,提出基于Petri网的软件演化过程;最后给出了软件演化过程的活性判断及优化算法.