期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7,291篇文章
< 1 2 … 250 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
工作流管理的现状和未来趋势 被引量：18
1
作者 汪涛 吴耿锋 黄力芹 《小型微型计算机系统》 CSCD 北大核心 2001年第2期232-236,共5页
工作流管理是一个新兴的研究领域 ,被誉为信息系统的后勤 ,它让合适的人或软件在恰当的时间执行正确的工作 ,使计算机上的业务处理流程自动化 .本文用历史的观点对工作流管理的发展历程进行了回顾 ,揭示了工作流管理对未来信息系统的影... 工作流管理是一个新兴的研究领域 ,被誉为信息系统的后勤 ,它让合适的人或软件在恰当的时间执行正确的工作 ,使计算机上的业务处理流程自动化 .本文用历史的观点对工作流管理的发展历程进行了回顾 ,揭示了工作流管理对未来信息系统的影响 .根据分析当前的工作流管理系统 ,我们总结出两个主要不足之处 :(1)工作流管理系统的定义不明确以及缺乏统一的概念模型 ,(2 )工作流管理系统的系统结构和能力上的不足 .并对工作流管理的未来发展趋势从建模和实施两个方面进行了预测 . 展开更多
关键词 工作流管理系统 业务流程再造 WEB petri网 计算机
下载PDF
一种面向企业用户的工作流模型 被引量：50
2
作者 罗海滨 范玉顺 吴澄 《计算机集成制造系统-CIMS》 EI CSCD 2000年第3期55-59,90,共6页
工作流技术作为实现企业过程集成的有效手段 ,越来越受到人们的重视 ,中外学者对此开展了广泛的研究。本文介绍一种面向企业用户的工作流模型 ,从模型的角度描述了组成工作流的基本元素类型 ,讨论工作流模型与Petri网模型的转化 。
关键词 工作流 工作流管理系统 petri网 CIMS 企业
下载PDF
一种基于Petri网和概率信息的电力系统故障诊断方法 被引量：81
3
作者 孙静 秦世引 宋永华 《电力系统自动化》 EI CSCD 北大核心 2003年第13期10-14,23,共6页
提出了一种基于Petri网和概率信息的面向电力系统故障诊断问题的建模和诊断分析方法。逻辑检验和实例仿真证实了所给出的方法的可行性和有效性 ,并符合工程实用性要求 ,可在电力系统紧急控制等方面发挥技术支持作用。
关键词 故障诊断 petri网 电力系统 概率信息
下载PDF
基于Petri网的工作流模型性能分析方法 被引量：28
4
作者 李建强 范玉顺 《计算机应用》 CSCD 北大核心 2001年第6期4-6,9,共4页
除了有限的仿真支持以得到参考数据以外 ,目前对于工作流模型性能的理论上的严格分析几乎是空白。在深入分析了经营过程工作流模型特点的基础上 ,本文提出一种将工作流的Petri网模型分解为事件图的算法 。
关键词 petri网 性能分析 工作流技术 经营过程 企业
下载PDF
基于Petri网的工作流建模技术及应用 被引量：49
5
作者 潘启澍 姜兵 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2000年第9期86-89,共4页
工作流管理技术是 90年代初新兴起的软件技术。其实现的关键在于工作流概念模型的建立。虽然信息系统领域的建模理论已经发展得较为成熟 ,但在工作流管理领域还没有一个专门的建模工具来满足工作流建模的需求。通过对几种概念建模方法... 工作流管理技术是 90年代初新兴起的软件技术。其实现的关键在于工作流概念模型的建立。虽然信息系统领域的建模理论已经发展得较为成熟 ,但在工作流管理领域还没有一个专门的建模工具来满足工作流建模的需求。通过对几种概念建模方法的比较分析 ,论文选择 Petri网作为工作流建模的主要工具 ,并探讨和总结了工作流程的路由结构、触发机制、可靠性工作流模型的分析方法 ,转换原则和组合性质 ,最后通过一个案例进一步阐述了基于 Petri网的工作流建模技术。实际应用表明该建模方法简单、可行 ,能够保证工作流模型的有效性 ,而且便于工作流网络的计算机形式化表示 ,有利于工作流管理系统 (WFMS)的实现。 展开更多
关键词 工作流管理系统 工作流建模 petri网 企业管理
原文传递
基于对象Petri网的工作流过程定义 被引量：31
6
作者 曹化工 杨曼红 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第1期13-18,共6页
文中提出了基于对象 Petri网 (Object Petri- Net,OPN)和基于 OPN的文本描述语言 L OOPN+ +工作流过程定义接口标准 ,论述了其可行性和优势 ,并给出了形式化描述 .
关键词 工作流管理系统 工作流过程定义 petri网 面向对象
下载PDF
基于Petri网化简方法的工作流模型验证 被引量：44
7
作者 李建强 范玉顺 《信息与控制》 CSCD 北大核心 2001年第6期492-497,共6页
经营过程的建模、分析与优化是支持企业经营过程重组 (BPR)的重要基础 ,行之有效的模型分析方法是成功进行模型分析的重要的关键技术问题 .在深入分析了经营过程工作流模型特点的基础上 ,本文提出了一种基于 Petri网图形化简规则的业务... 经营过程的建模、分析与优化是支持企业经营过程重组 (BPR)的重要基础 ,行之有效的模型分析方法是成功进行模型分析的重要的关键技术问题 .在深入分析了经营过程工作流模型特点的基础上 ,本文提出了一种基于 Petri网图形化简规则的业务过程模型分析与验证方法 ,证明了所提出这套化简规则的完备性和多项式时间的复杂性 . 展开更多
关键词 经营过程重组 工作流分析 petri网 模型化简 BPR 企业
下载PDF
有界Petri网的活性和公平性的分析与实现 被引量：58
8
作者 吴哲辉 《计算机学报》 EI CSCD 北大核心 1989年第4期267-278,共12页
Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复... Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两个变迁节都不处于有效的冲突,则这个网一定是活的和公平的。 对于不活或不公平的带可重复标识的结构有界的可重复网,本文提出了几种实现活性和公平性的控制装置。 展开更多
关键词 petri网 活性 公平性 分布式系统
下载PDF
基于Petri网的Web服务自动组合研究 被引量：60
9
作者 钱柱中 陆桑璐 谢立 《计算机学报》 EI CSCD 北大核心 2006年第7期1057-1066,共10页
根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好... 根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式． 展开更多
关键词 WEB服务 petri网 WEB服务自动组合
下载PDF
一种工作流模型的性能分析方法 被引量：42
10
作者 李建强 范玉顺 《计算机学报》 EI CSCD 北大核心 2003年第5期513-523,共11页
在讨论了工作流模型分析的相关问题后 ,基于工作流网的定义 ,给出了包含资源、时间等信息的多维工作流网的概念 ,并讨论了由基于工作流联盟 (WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射 .为了处理工作流模型... 在讨论了工作流模型分析的相关问题后 ,基于工作流网的定义 ,给出了包含资源、时间等信息的多维工作流网的概念 ,并讨论了由基于工作流联盟 (WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射 .为了处理工作流模型中的循环结构 ,对具有无环自由选择工作流网到一组变迁组件网 (T component)的分解算法进行了扩展 ,以处理工作流网中存在的循环结构 .进而在模型结构分析的基础上 ,根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率 .进而 ,结合开环Jackson排队网络理论 ,详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链 (CTMC)的系统动态性能分析的方法 ,并以一个实例验证了作者提出的模型性能分析方法的有效性 . 展开更多
关键词 工作流模型 性能分析方法 工作流管理系统 petri网
下载PDF
基于工作流技术和B/S结构的办公自动化系统研究 被引量：23
11
作者 邵雷 李毓伟 《浙江科技学院学报》 CAS 2003年第2期82-85,93,共5页
提出了基于工作流管理的OA系统模型 ,并用Petri网描述了公文审批的工作流程 ,论述了采用基于B/S结构体系的优势 。
关键词 工作流技术 B/S结构 办公自动化系统 petri网 系统功能
下载PDF
工作流模型研究综述 被引量：33
12
作者 曾炜 阎保平 《计算机应用研究》 CSCD 北大核心 2005年第5期11-13,22,共4页
工作流模型作为工作流管理系统的起点,对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,它已成为当前工作流建模研究的重点。对工作流过程模型的研究现状进行综述,主要包括模型理论基础、当前工作流模型的不足之处,并且指出了工作... 工作流模型作为工作流管理系统的起点,对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,它已成为当前工作流建模研究的重点。对工作流过程模型的研究现状进行综述,主要包括模型理论基础、当前工作流模型的不足之处,并且指出了工作流过程模型的发展趋势,为工作流建模的进一步研究提供基础。 展开更多
关键词 工作流 模型 petri网 工作流管理系统
下载PDF
混合动态系统及其应用综述 被引量：36
13
作者 莫以为 萧德云 《控制理论与应用》 EI CAS CSCD 北大核心 2002年第1期1-8,共8页
在概述混合动态系统产生背景与发展近况的基础上 ,主要综述了混合动态系统研究中的若干重要问题 ,包括描述混合动态系统的常见工具 ,如自动机和Petri网 ,以及混合动态系统的模型描述方法及用于描述混合动态系统的递阶结构模型和混合逻... 在概述混合动态系统产生背景与发展近况的基础上 ,主要综述了混合动态系统研究中的若干重要问题 ,包括描述混合动态系统的常见工具 ,如自动机和Petri网 ,以及混合动态系统的模型描述方法及用于描述混合动态系统的递阶结构模型和混合逻辑动态模型 ,对混合动态系统控制器的设计和验证及其在故障诊断等方面的应用研究也作了介绍 。 展开更多
关键词 混合动态系统 离散动态系统 连续动态系统 自动机 petri网
下载PDF
基于时间Petri网的工作流模型分析(英文) 被引量：44
14
作者 李慧芳 范玉顺 《软件学报》 EI CSCD 北大核心 2004年第1期17-26,共10页
工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.... 工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义. 展开更多
关键词 工作流 时序一致性 petri网 可调度性 验证
下载PDF
基于Petri网的工作流建模及仿真 被引量：18
15
作者 陈胜 程景云 《计算机辅助工程》 2000年第1期8-15,共8页
本文将Ｐｅｔｒｉ网应用于工作流建模和仿真，提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．
关键词 petri网 工作流 建模 仿真
下载PDF
利用服务聚类优化面向过程模型的语义Web服务发现 被引量：63
16
作者 孙萍 蒋昌俊 《计算机学报》 EI CSCD 北大核心 2008年第8期1340-1353,共14页
如何快速、准确和高效地发现满足用户需求的Web服务是现阶段急需解决的关键问题之一.文中针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一个新的语义Web服务发现框架.在该框架下,采用Petri网作为Web服务过... 如何快速、准确和高效地发现满足用户需求的Web服务是现阶段急需解决的关键问题之一.文中针对现有的Web服务发现机制中存在的效率低下和查准率不高的两个问题,提出了一个新的语义Web服务发现框架.在该框架下,采用Petri网作为Web服务过程描述的形式化工具.首先,利用聚类技术,从服务的功能相似和过程相似两个层面对服务进行聚类预处理,从而在很大程度上降低服务的查找空间,提高服务的查找效率.进一步,针对服务请求中可能潜在的行为约束,建立基于Petri网的过程需求模型,将其与候选服务的过程模型进行比较,对满足功能需求的可行服务进一步筛选,从而提高查找的精确度.最后,利用仿真实验对所提出的方法进行验证. 展开更多
关键词 服务发现 匹配 过程模型 petri网 聚类
下载PDF
Petri网和冗余纠错技术结合的配网故障区段定位新方法 被引量：52
17
作者 孙雅明 吕航 《中国电机工程学报》 EI CSCD 北大核心 2004年第10期61-67,共7页
由于配电系统拓扑结构的复杂性和多变性、故障过程动态离散事件描述的特殊性,使得 Petri 网原理在故障区段定位(FSL)中的应用研究受到限制。文中提出了 Petri 网与冗余纠错技术结合的配电系统 FSL的新方法:依据 SCADA系统所汇集 FTU 的... 由于配电系统拓扑结构的复杂性和多变性、故障过程动态离散事件描述的特殊性,使得 Petri 网原理在故障区段定位(FSL)中的应用研究受到限制。文中提出了 Petri 网与冗余纠错技术结合的配电系统 FSL的新方法:依据 SCADA系统所汇集 FTU 的信息分析,通过两次冗余纠错技术消除信息畸变对 FSL 的影响;在自适应获取故障拓扑结构的基础上,将配电系统的 FSL 问题转换为对锁定单一 FTU 的 Petri网求解。该法具有强的通用性、简易性、快速性和准确性;可有效提高 FSL 的容错性能,具有高的实用价值。 展开更多
关键词 petri网 纠错技术 冗余 故障过程 拓扑结构 离散事件 锁定 配电系统 FTU 配网
下载PDF
模糊Petri网 被引量：53
18
作者 何新贵 《计算机学报》 EI CSCD 北大核心 1994年第12期946-950,共5页
本文首先把Ｐｅｔｒｉ网模糊化为一种模糊Ｐｅｔｒｉ网，它很适合用来描述具有模糊行为的并行（或并发）系统．它可用在许多应用领域，如应用在诸如大而复杂的制造系统乃至社会和经济系统的模拟仿真等实际问题中．
关键词 模糊 petri网 模糊Peti网
下载PDF
模糊推理Petri网及其在故障诊断中的应用 被引量：46
19
作者 高梅梅 吴智铭 《自动化学报》 EI CSCD 北大核心 2000年第5期677-680,共4页
分析了推理 Petri网与传统 Petri网的共性和区别 ,给出了模糊产生式规则推理Petri网模型 .在此基础上 ,给出了有效的推理算法 ,并以极大代数矩阵算子进行了形式化表示 ,此算法充分利用了 Petri网的数学理论基础和描述并发系统的能力 ,... 分析了推理 Petri网与传统 Petri网的共性和区别 ,给出了模糊产生式规则推理Petri网模型 .在此基础上 ,给出了有效的推理算法 ,并以极大代数矩阵算子进行了形式化表示 ,此算法充分利用了 Petri网的数学理论基础和描述并发系统的能力 ,具有并行推理能力 ,可以同时得到推理后系统的全部状态值 . 展开更多
关键词 模糊推理 petri网 故障诊断 离散事件系统
下载PDF
从Petri网到形式描述技术和协议工程 被引量：41
20
作者 罗军舟 seu.edu.cn +1 位作者 沈俊 顾冠群 《软件学报》 EI CSCD 北大核心 2000年第5期606-615,共10页
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Pe... 协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT.该文说明了 Petri网作为协议描述技术的优势 ,指出当前基于Petri网的协议工程研究的难点 ,其中面向协议开发的网工具是一项重要的研究内容 .按照开放系统互连参考模型的层次 ,总结了国际上的研究进展情况 ,并阐述了未来的研究趋势 .最后从协议描述、协议验证与分析以及辅助测试与实现这 3个角度给出了基于 展开更多
关键词 协议工程 形式描述 petri网 计算机网络
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 250 下一页 到第 页
使用帮助 返回顶部