论文部分内容阅读
办公信息系统是不同于一般信息系统的一类特殊的信息系统，因而办公系统的建模也有其特殊性。本文主要通过建立基于Petri网理论的办公网收、发文管理系统协作模型，分析得出所建模型具有可达性、有界性、活性，并且是安全可靠的，完全符合办公信息系统需求；同时指出该模型中反映的必须在系统中加以解决的并发问题。