1 / 11

2006 年中国计算机学会 Petri 网专业委员会会议

委员交流 :. 2006 年中国计算机学会 Petri 网专业委员会会议. 一 , 工作流模型引起的问题。 二，关于 Petri 网的层次、交互和功能。. 西北大学 计算机科学系 软件工程研究所. 郝克刚 2006.8.12. 一 , 工作流模型引起的问题。. 提出基于 Petri 网的工作流模型 " 信牌驱动式工作流计算模型 ." 《 计算机研究与发展 》 2000,(37) 12 " 基于 Web 的工作流管理系统的解决方案。 "《 西北大学学报 》 ， 1999 年 29 （ 6 ） Petri 网作为比工作流模型更高的抽象层次

mills
Download Presentation

2006 年中国计算机学会 Petri 网专业委员会会议

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 委员交流: 2006年中国计算机学会 Petri 网专业委员会会议 一, 工作流模型引起的问题。 二，关于 Petri 网的层次、交互和功能。 西北大学 计算机科学系 软件工程研究所 郝克刚 2006.8.12

  2. 一, 工作流模型引起的问题。 • 提出基于Petri网的工作流模型 • "信牌驱动式工作流计算模型." 《计算机研究与发展》 2000,(37) 12 • "基于Web的工作流管理系统的解决方案。"《西北大学学报》，1999年29（6） • Petri网作为比工作流模型更高的抽象层次 • Three Levels of Workflow Process Model. Proc. International Symposium on Future Software Technology 2001.11. 西北大学计算机科学系软件工程研究所

  3. 非确定 Petri 网 对 Petri 网的扩充和限制 • 增加非确定性转移规则。--非确定Petri网 • 非确定Petri网。《小型微型计算机系统》（2003。3（24））。 • 等价性。 • 限制只有一个入口和出口。--正则Petri网。 • 工作流过程定义中的分层结构与正则Petri网。《计算机科学》（2003。11（30））。 • 等价性。 西北大学计算机科学系软件工程研究所

  4. 工作流模型中的各种问题 • WPDL中的JOIN语义问题和分区解决方案。《计算机科学》（2003。7（30））。 • 扩展的信牌驱动模型与Petri网。 《计算机应用与软件》2004.2(21) 。 • 原则：不缩小表示能力（如不限制循环、非结构成分等） • 工作流模型中的其他问题 • 动态修改问题 • 过程定义复用 • 数据分类管理：环境数据、相关数据、流数据。 • 事务处理问题 • 多流问题 西北大学计算机科学系软件工程研究所

  5. 二, 关于 Petri 网的层次、交互和功能 • Petri 网在应用中最大的问题是对于复杂系统P、T的个数太多。解决的办法—分层。 • 高级网（如着色网）在一定程度上前进了一步。 • 高级网的P,T是对Petri 网P,T的分别划分。 • 郝克刚,葛玮：“关于高级网系统的等价及谱系的研究”，《计算机学报》，1993 年第7期。 西北大学计算机科学系软件工程研究所

  6. 开放网是对 Petri 网 P,T的综合划分—子网划分 • Petri 网层次化的最初的想法是对 p,t 进行细化，但下层的Petri子网的外部功能要与上层的 p,t 对应。 • 把封闭的 Petri 扩充为具有交互功能的网就是开放网。 • 开放网是对Petri 网P,T的综合划分，即划分为子网。需要研究开放网的外部功能，分解和组合。 • 郝克刚：“开放网—交互式并行系统的模型”，《西北大学学报》（自然科学版），1997, 5； 西北大学计算机科学系软件工程研究所

  7. Open Nets 在嵌入式模型中的应用 西北大学计算机科学系软件工程研究所

  8. 系统的交互受到较大的关注 • Z.Manna & A.Pnueli: Reactive System 反应式系统1995. • Peter Wegner & Dina Goldin:超越图灵机的计算 Computation Beyond Turing Machines COMMUNICATIONS OF THE ACM April 2003 / Vol.46, No.4 • Kegang Hao：Two Formal Models of Interactive Machine ,Proceedings of The Third Asian Workshop on Foundations of Software, November, 2004； 西北大学计算机科学系软件工程研究所

  9. o g o o d o d b g a c Open Nets 功能与ITM的比较 • Turing Machine InteractiveTuring Machine • Word（字） concurrent stream（流） • Acceptability （接受） Suitability（适配） • the suitability of ITM equalsto Open Net ? 功能等价吗? 西北大学计算机科学系软件工程研究所

  10. 结束语 简要介绍了研究所近期与Petri 网有关的工作 • 工作流模型引起的问题。 • 关于 Petri 网的层次、交互和功能。 欢迎各位委员多交流、多指教！ 西北大学计算机科学系软件工程研究所

  11. 谢谢大家！ hkg@nwu.edu.cn http://mainpage.nwu.edu.cn/hkg/home/ 西北大学 计算机科学系 软件工程研究所 西北大学计算机科学系软件工程研究所

More Related