Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于UML和Petri网的系统服务获取流程建模

在流程建模中,UML技术和Petri网技术各自发挥着十分重要的作用.分析了UML技术和Petri网技术各自的优缺点及在流程建模中的应用,提出了一种基于UML技术和Petri网技术相结合建立系统流程模型的方法,并给出了相应的技术路线.在此基础上,以兵团空间信息系统服务获取流程建模为例,对所提出的方法和技术路线进行了验证.     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

基于Petri网的网约车系统建模优化

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.Petri网可达性是进行Petri网业务系统分析研究的基础,主要分析系统可能达到的状态和状态间的关系.针对常用的网约车软件,给出业务流程Petri网模型,并结合实际情况以及流程模型之间的交互关系,用Petri的可达性对系统进行建模分析.同时,为了商家和乘客利益的最大化,通过增加相关的控制结构对模型进行优化.实例分析了该方法的有效性.     

基于通信行为轮廓的手机充值流程挖掘方法

基于通信行为轮廓的流程挖掘方法对流程进行建模.根据子系统的事件日志,利用已有的挖掘方法挖掘出相应的视图模型;基于系统日志的通信行为轮廓设计出特征网,并将特征网与视图模型进行合并得到开放Petri网;通过映射将其转化为一个流程Petri网模型,通过服从度验证模型的合理性;通过具体的手机充值系统,进行模型挖掘.     

基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.     

采用普通Petri网的自动化立体仓库系统的PLC程序设计

以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的基础上增加执行机构的变迁,最终得到闭合Petri网(监控器);最后,给出将闭合Petri网转化成PLC梯形图的方法,实现自动化立体仓库系统的形式化建模和PLC程序设计.研究结果表明:所提出的设计方法更容易自动实现系统的控制器设计及转化为梯形图语言.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

一种改进的程序不可达路径静态检测方法

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法,该方法分析程序控制流图中结点的定值—引用集合数据信息,并记录调用点的函数摘要,更新调用点的调用上下文数据流信息,判断程序条件语句的冲突分支,进而检测路径的可达性。实例分析结果表明,该方法可以进一步提高不可达路径检测的准确度。     

动态模拟系统人机接口的设计与实现

本文以实际工作为背景,阐述在—Apollo—工作站上实现的动态模拟人机接口的功能,提出了设计和实现的方法,较详细地描述了程序总体结构、自编图形支撑系统、数据结构及系统调用技术。     

生产型企业管理信息系统的开发与实践Ⅱ──关于结构系统设计的若干做法和思考

以开发与实践为背景，应用系统工程思想把信息流概念引入了ＭＩＳ，阐明了影响和制约信息流表征的若干因素、讨论了界面原型法下结构系统设计过程中的若干做法和思考，导出了一种面向应用的ＭＩＳ开发方法．     

结构优化设计中减少调用结构分析次数的方法

本文在研究广义插值方法的基础上,提出了一种在结构优化设计计算中减少调用结构分析次数的方法,并在理论上和计算实践中,证明了该方法的正确性与有效性,从而解决了长期以来困扰深入应用优化方法的一个难题.     

访管(SVC)功能在RMS系统开发中的应用

(Running Management System)系统是在M340S计算机上自行设计开发的运行管理系统。访管(SVC)是在操作系统设计中实现用户对系统请求的一种方式。本文扼要介简了RMS系统设计并介绍如何利用访管功能解决系统设计中的一些问题。     

用ASP技术开发基于B/S模式的学科导航系统

分析了Browser Client结构的特点 ,认为导航系统运用该结构是可行的 .同时列举了把B S结构应用到导航系统设计的优点 .ASP作为流行的动态网站开发工具 ,很适合开发导航系统 ,可以完成数据更新的动态操作 .介绍了ASP的工作流程 ,运用ASP开发Web应用程序的关键技术和访问数据库的方法 .介绍了整个系统的设计规划 ,系统结构、数据库设计时元数据的应用、系统功能的分析以及系统各功能模块的详细设计和部分代码     

智能制造系统的一种研究方法

把制造系统描述为互相连接的信息、数据、知识处理单元的集合，把数据、知识处理单元抽象为信息处理单元，构造制造系统的抽象模型，据此提出了一种从这种抽象模型展开对智能制造系统研究的方法．     

话音VSAT网的最佳呼损分配

本文分析了话音为主的VSAT网设计中最佳呼损分配问题,假定这种话音VSAT网采用SCPC/DAMA技术,公用信号信道(控制信道)采用广播/ALOHA方式。呼损是话音通信网的基本性能指标之一,在系统总体设计中需要合理分配,以求充分利用系统可用的空间和地面资源,本文提出了一种在给定约束条件下的最佳呼损分配概念,并给出了相应的算法,这种最佳呼损分配的概念和方法把呼损分配与VSAT网的基本参数合理地联系起来,有助于话音VSAT系统设计的优化。     

A Chord-based resource scheduling approach in drug discovery grid

This paper presents a resource scheduling approach in grid computing environment. Using P2P technology, this novel approach can schedule dynamic grid computing resources efficiently. Grid computing resources in different domains are organized into a structured P2P overlay network. Available resource information is published in type of grid services. Task requests for computational resources are also presented as grid services. Problem of resources scheduling is translated into services discovery. Different from central scheduling approaches that collect available resources information, this Chord-based approach forwards task requests in the overlay network and discovers satisfied resources for these tasks. Using this approach, the computational resources of a grid system can be scheduled dynamically according to the real-time workload on each peer. Furthermore, the application of this approach is introduced into DDG, a grid system for drug discovery and design, to evaluate the performance. Experimental results show that computational resources of a grid system can be managed efficiently, and the system can hold a perfect load balance state and robustness.     

Windows 98 下多线程编程方法研究

在新型的操作系统中，引入了多线程的概念，在支持多线程的操作系统中提供了相应的系统词用函数，研究了Windows操作系统中资源分配和调度的基本单位以及线程的特点，核心论述了在Windows操作系统下多线程编程方法的实现。