工作流网在MIS系统过程建模中的应用与研究

JDBC是SUN公司提供的一种支持基本SQL功能的通用的应用程序接口(ApplicationProgrammingInterface),它可以在Java语言中方便地建立与数据库的链接.     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations…     

计算机支持协同工作中混合式应用程序共享模型分析

提出了一种计算机支持协同工作（CSCW）应用程序共享机制模型－混合式应用程序共享机制模型，解决了分布、异构协同工作环境中集中和复制式应用程序共享在网络流量和分布异构支持方面难以兼得的问题。在应用共享的统一协调控制下，混合式共享机制允许集中和复制式共享机制共存于同一共亨过程中。利用着色Petri技术，建立了混合式应用程序共享机制的分层模型，并对各部分的运行机制进行了分析。分析结果表明，该模型能够有效地描述共享过程中的动态行为，便于系统的分析、验证。     

无刷直流电机DSP逻辑控制程序的Petri网设计方法

提出一种无刷直流(BLDC)电机数字信号处理(DSP)逻辑控制程序的Petri网设计方法.首先,建立霍尔传感器和电机旋转方向的Petri网模型;其次,利用功率管(MOSFET)二二切换规则,设计功率管通断的变迁,获得电机的逻辑控制Petri网模型,并根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并利用换相逻辑逐个验证;最后,借助Petri网变迁的激发规则,设计无刷直流电机DSP逻辑控制程序,并对文中方法进行实验验证.结果表明:文中方法能够保证控制程序的正确性和可靠性,可以有效地简化无刷直流电机DSP逻辑控制程序的调试过程.     

Study on Multi-agent Systems with Colored Petri Nets

The approach to model multi-agent systems with hierarchical colored Petri nets is introduced. In a multi-agent system, every agent is modeled with colored Petri net system, and the colored Petri net system of the multi-agent system is a hierarchical colored Petri net system, such that the agents planning deadlock detection and avoidance, can be analyzed with the Petri net system.     

超空间上的几乎连续对应

在超空间上定义了几乎连续对应，并以拓扑空间中的开(闭)集，δ-开(闭)集和正则开(闭)集为基础得到了这种对应的若干等价条件，同时给出了集网与收敛网的应用。     

一种基于离散事件模型的柔性装配系统容错控制策略

深入研究了柔性装配系统中错误检测和自恢复的同步Petri网模型．通过将系统中的传感信息和状态持续时限建模为事件集，讨论了通过过程监控生成错误恢复子网的系统容错设计方法，并对具体的错误恢复子网实施的外部条件进行了讨论．试验表明，该方法有助于提高柔性装配系统的可靠性，并为柔性装配系统布置提供了相应的设计依据．     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具。对基于随机Petri网的具有抢占式服务策略的通信线路进行了分析。为了实现高优先级用户对低优先级用户服务中断的模拟，采用了基于变迁的抑制弧。推导了瞬时概率的表达式。最后，针对2个不同用户的实例，给出了M／G／1／2／2排队模型的分析结果。