切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
工作流模型死锁的Petri网分析
工作流模型死锁的Petri网分析
来源 :计算机科学 | 被引量 : 0次 | 上传用户:gongjinjie
【摘 要】
:
Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进
【作 者】
:
谭玲
郑栋
顾庆
陈道蓄
【机 构】
:
南京大学软件新技术国家重点实验室
【出 处】
:
计算机科学
【发表日期】
:
2006年7期
【关键词】
:
工作流
PETRI网
WF-NET
死锁
可达树
可达图
Workflow
Petri-net
WF-net
Deadlock
Reachability
【基金项目】
:
本文得到国家863项目支持,项目编号:2004AA112090.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例:软件测试过程模型。
其他文献
浅析字体设计中的图形汉字设计
摘要:现代图形设计是对文化的认同,而不是简单的对符号或图形的认同。探索本土文化的内涵,找出传统文化与自己个性的碰撞点,形成自己的设计风格,这才是运用汉字进行图形设计的精髓所在。关键词:图形汉字;设计浅析中图分类号:J2文献标识码:A文章编号:1006—3315(2010)3—118-001在当代,文字的设计目的不仅仅是传达文字的信息,更重要的是传达文字信息的视觉差异。所以,许多文字设计师,往往喜欢
期刊
图形汉字
设计浅析
钙化性肌腱炎:中年女性常见的肩关节痛
58岁的王女士右肩疼痛了半年,尤以晚上疼痛明显,十分影响睡眠,有时早上起来还觉得肩膀僵硬。我见她肩关节活动问题不大,没有明显受限,建议她拍个X光。结果显示她的右肩有3个钙化点,两大一小,边缘清楚,为慢性钙化性肌腱炎。考虑到王女士目前症状不是很严重,可以先保守治疗。 钙化性肌腱炎指钙盐沉积在肌腱中导致的刺激或炎症,在全身的肌腱中都可能出现,但最常见的是肩袖,尤其是冈上肌,可占到80%。本病好发于3
期刊
钙化性肌腱炎
肩关节痛
钙化点
中年女性
保守治疗
肩关节活动
Web数据挖掘在证券业CRM中的应用
客户关系管理是企业通过了解客户需求,发现客户价值,发展有效市场战略,改善产品与服务,提高效率,增大销量,进而追求最大盈利的一种实践。目前的营销正从以产品为中心转向以客户为中
期刊
WEB数据挖掘
CRM
证券业
客户关系管理
应用
客户需求
客户价值
市场战略
信息技术
高效率
以奔跑的姿态接续奋斗——记全国脱贫攻坚先进个人蒋青淞
“快来看看,你们订购的羊肚菌新鲜采摘,我就问问你们,晚上炖羊肚菌的鸡准备好了吗?”3月10日中午12点,蒋青淞趁着休息间隙发了一条朋友圈。这一整天,他都忙于火烧庙村的事务
期刊
脱贫攻坚
乡村振兴
羊肚菌
朋友圈
第一书记
先进个人
奔跑
火烧
改良Limberg皮瓣成形术与改良Karydakis 皮瓣成形术治疗骶尾部藏毛窦的疗效对比
目的探讨改良Limberg皮瓣成形术与改良Karydakis皮瓣成形术治疗骶尾部藏毛窦的疗效。方法选取2018年1月至2019年12月于我院接受治疗的73例骶尾部藏毛窦患者,依据抽签法分为对
期刊
骶尾部藏毛窦
改良Karydakis皮瓣成形术
改良Limberg皮瓣成形术
复发率
其他学术论文