互联网发展到Web 3.0之后,以大规模不确定性网络计算和语义网为核心的技术特征已难以满足日益多元化的用户需求。语用化的发展趋势越来越受到互联网智能领域研究人员的青睐,相关的语用理论与语用技术的研究业已形成明确的问题域。以语用网(Pragmatic Web)为核心的全球性研究阵营已经形成,如何发展语用技术成为互联网能否实现下一次技术飞跃的关键问题。Petri网的发明人卡尔·佩特里(C.A. Petri)在“网论的语用维度(The Pragmatic Dimension of Net Theory)"一文中指出：“在符号学领域或者发送接受信息的通信科学领域,语用学显然是整个科学的无限部分,它超越了根深蒂固且充分形式化了的句法学和语义学的局限；超越了句法学和语义学那种正确组成句子及其标准意义的局限。”由此可见,在语用方面,网论从一开始就吸收了语用学理论,它要求所有资源都是受限的,测量固有着某种不精确性,行为和决定是不完全独立的,错误观念作为某种“语用”态度是存在的,等等。因此,Petri网从一开始就是语用的,或者说为实现语用而服务的。本论文在系统介绍Petri网的历史发展脉络的基础上,着重分析了Petri网从语义网向语用网的转向,从科学哲学的视野揭示了在互联网日益智能化的今天,语用方法论研究已成为人工智能领域的必要的理论基础。海量资源库是互联网的一大优势,网络服务是新时期提升互联网应用效率的一个关键问题。网格作为一种新型分布式系统,有助于协调各种软硬件及数据资源来共同完成一项工作,这种并行的、并发的且分散的协作系统,相比传统的顺序计算而言,是计算机思维的一种根本性变革。作为一种离散的并行系统,Petri网用直观的图形表征方式来描述异步并发事件,通过有向连接图,Petri网用库所、托肯和变迁等方式实现对资源及其数量的描述,并在引发规则下用变迁来实现引发驱动状态的演变,从而达到反映系统动态运行过程的目的。因此,Petri网所蕴含的系统论思想,在网络服务从数据抽象向过程抽象的转移过程中,将计算机编程的封装性、继承性、多态性有机地结合了起来,同时促进了网络服务的系统化和模块化。这不仅有助于用图形表征向用户提供易于理解的系统模型,更推动了对模型进行相应的形式分析及验证。相关关系是Petri网模型构建的基础,在并行程序设计中,Petri网所关注的语境依赖性使得编程者的关注点从事务的全局状态转移到局部状态,从单个独立事务转移到过程型事务,因此,Petri网更加关注计算机建模所面临的不确定性问题。在Petri网与语用网协同发展的过程中,语用抽象系统的形式化和语用主体边界的模糊性所带来的复杂性问题,使得我们必须关注作为一种自组织系统的Petri语用网逐步累积的关系状态和当前的外部环境信息。本论文认为,在语用网理论尚未取得突破之际,用Petri网特有的网论去弥补其理论上的不足,是语用网和Petri网各自获得自身突破的有效途径。在这种探索过程中,如何将二者的理论优势发挥出来,在语用的基底上寻求融合的有效途径,便成为这一理论探索能否取得成功的关键所在。由此,Petri语用网的提出便具备了应有的现实需求与理论基底。