设S={s1，s2，…，sn}表示系统业务流程的各个环节；K={k1，k2，…，kn}表示系统业务流程当前的执行状态；T={t1，t2，…，tn}表示系统业务流程各个环节之间的状态转移和变迁；C={c1，c2，…，cn}表示系统业务流程各个环节的控制条件；O=P→P定义系统在业务流程各环节上的操作；D={d1，d2，…，dn}表示在系统业务流程各环节的输入、输出数据。则施工企业信息系统软件模型如定义1所述。
定义1：单个施工企业信息系统的软件模型是一个6元组A={S，K，T，C，O，D}，其中S、K、T、C、O、D的含义如上所述。
A模型描述了施工企业信息系统软件的主体组成部分。其中，S、T元素加上流关系F集合，即可构成一个完整的Petri网，如定义2所述。
定义2：三元组N={S，T；F}称为有向网（directed net，简称网net）的充分必要条件是：
（1）S∩T=Ø。
（2）S∪T≠Ø。
（3）F⊆S×T∪T×S（“×”为笛卡尔积）。
（4）dom（F）∪cod（F）=S∪T，其中(www.xing528.com)
dom(F)={x|∃y:(x，y)∈F}
cod(F)={y|∃x:(x，y)∈F}。
它们分别为F的定义域和值域。其中，F为流关系（flow relation）；S为N的库所（place）集，T为N的变迁（transition）集。S、T是有向网N的基本元素，流关系F由S、T构造而成。
定义2中的S、T可对应于定义1中的S、T集合。因此，施工企业信息系统软件模型是一个基于Petri网的有向网结构。系统之间的状态转化、操作、控制等集合构成了信息系统网状结构的流转关系。
定义2描述的Petri网结构是工作流技术的理论基础。由定义1和定义2所描述的系统模型就是以流程为核心的软件系统设计模型，如图3-10所示。
图3-10 以流程为核心的施工企业信息系统软件模型
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
