论文部分内容阅读
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析，给出了解决死锁的基本算法，并分析了这些算法的优缺点。最后给出了一个实例：软件测试过程模型。
工作流模型死锁的Petri网分析
【摘 要】
：
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进
【机 构】
：
南京大学软件新技术国家重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2006年7期
【基金项目】
：
本文得到国家863项目支持,项目编号：2004AA112090.
其他文献
摘要：现代图形设计是对文化的认同，而不是简单的对符号或图形的认同。探索本土文化的内涵，找出传统文化与自己个性的碰撞点，形成自己的设计风格，这才是运用汉字进行图形设计的精髓所在。关键词：图形汉字；设计浅析中图分类号：J2文献标识码：A文章编号：1006—3315(2010)3—118-001在当代，文字的设计目的不仅仅是传达文字的信息，更重要的是传达文字信息的视觉差异。所以，许多文字设计师，往往喜欢
在小学英语课堂教学当中,教师必须要学会利用情景创设来激发学生的学习热情,情景创设能给学生带来更为真实的英语环境,让学生把英语生活之间关联起来,从而提高小学生的英语综
58岁的王女士右肩疼痛了半年，尤以晚上疼痛明显，十分影响睡眠，有时早上起来还觉得肩膀僵硬。我见她肩关节活动问题不大，没有明显受限，建议她拍个X光。结果显示她的右肩有3个钙化点，两大一小，边缘清楚，为慢性钙化性肌腱炎。考虑到王女士目前症状不是很严重，可以先保守治疗。 钙化性肌腱炎指钙盐沉积在肌腱中导致的刺激或炎症，在全身的肌腱中都可能出现，但最常见的是肩袖，尤其是冈上肌，可占到80%。本病好发于3
客户关系管理是企业通过了解客户需求，发现客户价值，发展有效市场战略，改善产品与服务，提高效率，增大销量，进而追求最大盈利的一种实践。目前的营销正从以产品为中心转向以客户为中
部署是软件开发过程中的最后一个环节，简单易行的部署方式充分显示了软件的用户友好性。所谓软件的部署，就是将制作完成的组件或应用程序安装到其它计算机上使用。在部署软件时
本文对多进制调制与Turbo编码相结合的问题进行了研究，并结合软解调的特点，提出了一种改进的迭代译码算法。仿真结果表明该算法能得到较好的性能。
传统的入侵检测系统仅提供大量独立的、原始的攻击报警信息，不利于用户和入侵响应系统对攻击及时做出响应，迫切需要根据低层的报警信息，建立高层的攻击场景，提高安全管理员对当前
“快来看看,你们订购的羊肚菌新鲜采摘,我就问问你们,晚上炖羊肚菌的鸡准备好了吗?”3月10日中午12点,蒋青淞趁着休息间隙发了一条朋友圈。这一整天,他都忙于火烧庙村的事务
目的探讨改良Limberg皮瓣成形术与改良Karydakis皮瓣成形术治疗骶尾部藏毛窦的疗效。方法选取2018年1月至2019年12月于我院接受治疗的73例骶尾部藏毛窦患者,依据抽签法分为对