中文XML论坛--[下载]PhD thesis and Papers for SOC and BPM--No.5《Petri Nets, Process Algebras and Concurrent Programming Languages》by Eike Best

新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚

XML论坛

W3CHINA.ORG讨论区

计算机科学论坛

SOAChina论坛

Blog

开放翻译计划

新浪微博

首页

软件下载

资料下载

核心成员

帮助

>> Web服务(Web Services,WS), 语义Web服务(Semantic Web Services, SWS)讨论区: WSDL, SOAP, UDDI, DAML-S, OWL-S, SWSF, SWSL, WSMO, WSML,BPEL, BPEL4WS, WSFL, WS-*,REST, PSL, Pi-calculus(Pi演算), Petri-net,WSRF,

[返回] 中文XML论坛 - 专业的XML技术讨论区 → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Web Services & Semantic Web Services 』 → [下载]PhD thesis and Papers for SOC and BPM--No.5《Petri Nets, Process Algebras and Concurrent Programming Languages》by Eike Best

◇查看新帖 ◇ 用户列表 ◇

(订阅本版)

您是本帖的第 11998 个阅读者　　

*	贴子主题： [下载]PhD thesis and Papers for SOC and BPM--No.5《Petri Nets, Process Algebras and Concurrent Programming Languages》by Eike Best	举报打印推荐 IE收藏夹
	本主题类别:

hasgi

  威望：2
  等级：研一(日夜苦读OWL Semantics)
  文章：141
  积分：3750
  门派：W3CHINA.ORG
  注册：2007/4/16

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	楼主

[下载]PhD thesis and Papers for SOC and BPM--No.5《Petri Nets, Process Algebras and Concurrent Programming Languages》by Eike Best

《Petri Nets, Process Algebras and Concurrent Programming Languages》by Eike Best
是一篇很理论的文章，主要描述了petri net, process algebra, and concurrent programming language,以及它们之间的关系。文章80多页，自认为比较难懂。众所周知， BPEL主要的formal模型就来自于pi-caiculus--process algebar的一个分支，petri net又是一个对并行控制很强大的support.两者的结合应用必然可以提供一个很好模型基础用来发展formal method 来支持service oriented computing.
本文自认为适合掌握一定petri net, 和process algebra背景知识的人阅读，但是一旦融会贯通，必然会帮助大家在理论模型上有所突破。
欢迎就petri net and process algebra做讨论。pi-caiculus also great welcome.

收藏分享
顶(0)

----------------------------------------------
IEEE Transaction & ACM Transaction

2007/9/8 11:21:00

GoogleAdSense

  等级：大一新生
  文章：1
  积分：50
  门派：无门无派
  院校：未填写
  注册：2007-01-01

	广告

2024/5/12 15:39:29

本主题贴数3，分页： [1]

*树形目录（最近20个回帖）	顶端
主题： [下载]PhD thesis and Papers for..(870字) － hasgi，2007年9月8日
回复： up(2字) － hasgi，2010年9月9日
回复： [em55],为什么我下载的文件打不开呢[em55][em55][em55][em55][em55..(93字) － TMonica，2007年9月21日


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	105.469ms