图灵机计算模型都包括如下四个要素：输入（I），输出（O），程序（P），数据（D）–ComputingModel =（I，O，P，D），其中的输入输出是程序的输入输出。图灵机模型在已知输入输出（的需求）情况下研究程序和数据的实现问题，Turing’s machine = （I，O；P，D）；Petri网模型在已知程序和数据条件下研究输入输出的网络结构（即软件协作关系）问题，Petri nets =（P，D；I，O）。从模型定义可知，图灵机与Petri网两者精确对偶，Petri网是用软件协作来重构人类社会的实践过程。其中（P，D）平面为语义学面向，（I，O）就是语用学平面。