自动化仓库客户服务管理问题的时态逻辑描述
来源期刊：东北大学学报(自然科学版)1997年第6期
论文作者：田国会 徐心和 刘长有
关键词：离散事件动态系统;时态逻辑;自动化仓库;客户服务管理;
摘 要：在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．
田国会，徐心和，刘长有
东北大学信息科学与工程学院山东工业大学
摘 要：在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．
关键词：离散事件动态系统;时态逻辑;自动化仓库;客户服务管理;
