摘要： As a method of collaboration between general organizations,it is of great importance for the virtual organization to plan it''''s activities.This paper first describes the virtual organization activities using temporal logical,then analyses the safety and

关键词: 虚拟企业 活动规划 时态逻辑 生产活动 生产计划