条件/事件系统

条件/事件系统（condition/event system），计算机科学技术名词，设Σ=( B，E;F，)为一个基本网系统，C是Σ的完全情态集。若(B，E;F )是一个简单网，而且①对任意条件 b∈B ， C中都存在，∈C，使得b∈但；②对任意事件e∈E，都存在，∈C，使得从情态发生事件e产生情态，那么就称(B，E;F，C )为一个条件/事件系统。