行为不变性相关论文
工作流管理是信息时代的研究热点之一,已被广泛应用于多个领域。工作流模型是整个工作流技术的重要内容,而模型的正确性分析和性能评......
构件组装是CBSD技术中的核心.技术以Petri理论为基础,从微观角度出发,对构件组装方式及所生成的复合构件所具有的性质进行了研究.......
组合Petri网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成Petri网的结构性质入手,分析了它的活性性质,给出了它的......