登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
Pi+演算及其对Petri网的表达
  • 摘要

    为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提出了一种对Pi演算的扩展,称为Pi+演算,在原有Pi演算的通信机制中增加了多原语同步通信机制.证明了所有一般Petri网系统均可以用Pi+演算表达.

  • 作者

    郝克刚  郭小群  李向宁  HAO Ke-Gang  GUO Xiao-Qun  LI Xiang-Ning 

  • 作者单位

    西北大学信息科学与技术学院,西安,710069/西安电子科技大学电子装备结构实验室,西安,710071

  • 刊期

    2011年2期 ISTIC EI PKU

  • 关键词

    Petri网  Pi演算  π演算  表达能力  业务过程管理 

参考文献
  • [1] 郝克刚,郭小群. Pi演算对图灵机的表达. 计算机工程与科学, 2009,10
  • [2] Lucchi R;Mazzara M. A pi-calculus based semantics for WS-BPEL. The journal of logic and algebraic programming, 2007,1
  • [3] Yu-Liang Chi;Hsun-Ming Lee. A formal modeling platform for composing web services. Expert Systems with Application, 2008,2
  • [4] Petri C A. Kommunikation mit automaten. Fakultat fur Mathematik und Physik,Technische Hochschule Darmstadt,Darmstadt,Germany, 1962
  • [5] Huang Yu;Wang Han-Pin;Yu Peng;Xia Yun-Ni. Property-transition-net-based workflow process modeling and verification. Electronic Notes in Theoretical Computer Science, 2006,24
  • [6] Smith H;Fingar P. Workflow is just a Pi process,V2.1. http..//www,bpm3.com/picalculus, 2003
  • [7] van der Aalst Wil. Pi calculus versus Petri nets:Let us eat "humble pie" rather than further inflate the "Pi hype". http://is.tin.rue.nl/research/atterns/download/pi-hype,pdf, 2005-05-31
  • [8] 郭小群;郝克刚;侯红;丁剑洁. 用Pi+演算表示带抑止弧的Petri网. 系统仿真学报, 2009,增刊
  • [9] Reisig W;Rozenberg G. Lectures on Petri Nets I:Basic Models. Beilin:Springer-Verlag, 1998
  • [10] PetersOn J L. Petri Net Theory and the Modeling of Systems. NJ,USA:Prentice-Hail, 1981
  • [11] Xue Gang;Lu Joan;Yap Shao-Wen. Investigating workflow patterns in term of Pi-calculus. Melbourne,Australia, 2007
  • [12] Abouzaid Faisal;Mullins John. A calculus for generation,verification and refinement of BPEL. Specifications Electronic Notes in Theoretical Computer Science, 2008,03
  • [13] Milner R;Parrow J;Walker D. A calculus of mobile processes,Part I/II. Information and Computation, 1992,01
  • [14] 林惠民. 通信与移动系统:π演算. 北京:清华大学出版社, 2009
  • [15] Puhlmann Frank;Weske Mathias. Using the Pi-calculus for formalizing workflow patterns. Beilin:Springer-Verlag, 2005
查看更多︾
相似文献 查看更多>>
3.227.2.109