（2）T ≠φ ；
（3）R ∩T =φ ；
（4）W ? R×T ；
（5）D ? T × R ；
（6）dom(W)∪cod(W) = R ∪T 。
其中，dom(W) = {x | ?y：(x，y)∈W}，cod (W) = {y | ?x：(x，y)∈W}.
MSTC 网的定义中，R 和T 是基本成分，W 和D 是由R 和T 构造出来的，所以在定义中将R、T和W、D 用分号‘；’隔开。R和T是两类不同的概念，所以R ∩T =φ 。R ≠φ 和T ≠φ表示在MSTC 网中至少要有1 个角色和1 个任务。dom(W)∪cod(W) = R ∪T 表示在MSTC网中不能有孤立的R 或孤立的T。显然，MSTC 网中至少要有1 个W。
MSTC 网是一个由角色（Role，R）、任务（Task，T）、工作（Work，W）和转发（Deliver，D）构成的网络。其中，R 是一个有限的角色集合，表示参与业务流程的人；T 是一个有限的任务集合，表示网中的逻辑工作单元，必须完整执行，如申请、审核、会签、投票等；W是一个有限的工作集合，表示角色在事务中的分工，如阅文、填表、批示等；D 是一个有限的转发集合，表示任务完成后业务的流转方向。
在一个MSTC 网中，R 和T 是基本成分，称为节点（Node），W 和D 是由R 和T 构造出来的有向弧，称为连接（Connection）。
2.2 多MSTC 网
定义 2（多MSTC 网）一个六元组M＝（R，T；W，D；CN；DN）是一个多MSTC 网，如果M 满足以下的条件：
（1）N＝（R，T；W，D）是一个MSTC 网，称为M 的基网（Basic-net）；
（2）CN 是一个有限的MSTC 网集合；
（3）CN={N1，N2，…，Nm}，Ni 是一个MSTC 网，m 为正整数且m≥1；
（4）DN 是N 和CN 之间的转发的集合；
（5）DN ? (T × Nk )∪ (Nl × R)，1≤k≤m, 1≤l≤m；
（6） ( )dom DN ∪ cod(DN ) = R ∪T ∪ N1 ∪ N2 ∪.....∪ Nm = R ∪T ∪CN 。
其中， ( ) { ( ) } dom DN = x | ?y：x，y ∈DN ， ( ) { ( ) } cod DN = y | ?x：x，y ∈DN 。
根据定义可知，N 和Ni（1≤i≤m）都是M 的子网。DN ? (T × Nk )∪ (Nl × R)表明DN是N和CN 之间的转发，称为网间转发（Net-deliver）。网间转发只能从N 的T 元素转发到Nk（即T×Nk，也称为网间转出），或从Nl 转发到N 的R 元素（即Nl×R，也称为网间转入）。( )dom DN ∪cod(DN ) = R ∪T ∪ N1 ∪ N2 ∪.....∪ Nm = R ∪T ∪CN表示在多MSTC网中不能有孤立的子网。
2.3 多MSTC 网统
MSTC 网的定义描述了网的静态结构特征，为了更好的描述网的动态运行状态，需要对网的状态加以描述，下面首先介绍几个基本概念。
概念1（起始工作 Start Work）不依赖于任何转发的结果就可以开始运行的工作称为起始工作。MSTC 网的运行必须从起始工作开始。一个MSTC 网可能有多个起始工作，并且可以从任意一个或多个起始工作开始运行。
概念2（转发条件 Deliver Condition）MSTC 网中的转发可能是无条件的，也可能是有条件的。有条件的转发必须在条件计算结果为真值的前提下，才能执行转发。转发所依赖的条件称为转发条件。中国代写论文网为您代写硕士论文。
概念3（分组 Group）角色可异步地接收不同的转发和办理不同的工作，然而这些工作和转发之间可能存在依赖关系。为了描述这种依赖关系，必须对这些转发和工作进行区分，将有依赖关系的转发和工作归并在一起，称为分组。
概念4（路径 Route）设N＝（R，T；W，D）是一个MSTC 网，路径P 是从节点n1 到节点nk 的序列<n1, n2, …,nk>，其中，<ni，ni+1>∈ W∪D，1≤i≤k-1。
概念5（循环 Loop）循环是可被反复执行的，并只保留最后一次执行信息的环形路径。
概念6（关联工作Relate-work，关联转发Relate-deliver、关联任务Relate-task、关联角色Relate-role）若N＝（R，T；W，D）是一个MSTC 网，设r 是N 中的任一角色，t 是N 中的任一任务，则我们称：