论文部分内容阅读
基于Petri网的替换运算，提出基于工作流网的库所替换规则，并定义工作流安全库所替换网，进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题，研究表明：用稳固工作流网对原Petri网系统的安全库所进行替换之后，得到的替换网系统能保持原网系统的活性、有界性、可回复性；同时，若原Petri网系统是安全的，则替换网系统是有界的，但是由于工作流网本身不具备公平性、持续性等性质，替换网系统不能保持原Petri网系统的公平性和持续性．