随着网络通信技术的发展与成熟,电子商务在日常生活中扮演着重要的角色,渗透到人们生活的方方面面之中。人们足不出户,不仅可以通过电子商务订购衣着和食物,还可以预定酒店和车票。参与电子商务过程的人群愈发庞大,对于电子商务的要求也愈发细致,这就要求电子商务系统的模型不仅能够模拟规模庞大的系统,还需要能够精确完成用户的要求。Petri网是一类形式化建模工具,可以准确描述系统的运行过程。Petri网的结构性质可以反映出其运行过程中能表现出的特点。已经有很多工作使用Petri网描述和分析电子商务系统。颜色逻辑Petri网(colored logic Petri net,CLPN)可以描述电子商务系统并解决了逻辑Petri网(logic Petri net,LPN)中逻辑输出不确定性所导致的问题。但是CLPN在描述多个子系统同时在网系统中运行时,需要给每个子系统都建立一个子网模型。为了减少网络冗余,提高网络运行效率,本文提出了扩展颜色逻辑Petri网(extended colored logic Petri net,ECLPN)的概念,分析了其有关性质,并证明了ECLPN与CLPN的等价性。为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。给出了 ECLPN的状态方程,分析了 ECLPN的守恒性和协调性。此外,针对同一个电子商务系统分别用ECLPN和CLPN建立模型,并通过比较两个模型的库所数,变迁数,有向弧数和可达标识数目,得出ECLPN模型具有更加简洁的结构。针对由多参与者组成的复杂电子商务系统,本文提出了一种ECLPN组合模型,并分析了 ECLPN组合后健壮性与严格守恒性的继承条件。按照自顶向下的方式(Top-down manner)给出了建立组合ECLPN模型的过程。最后,对一个复杂电子商务系统使用组合ECLPN建立模型。由于无人提出“组合CLPN”概念,且CLPN模型与等价的LPN模型规模相当,所以本节将组合ECLPN模型与组合LPN模型做比较。从模型的库所数,变迁数和有向弧数对比可以得出组合ECLPN结构更加简洁。本文改进了 CLPN的定义,扩展了 CLPN的内容和方法,为电子商务建模方法提供了新的参考。