摘要
利用有穷自动机理论对"企业车辆管理"的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务流程,并对各项业务进行了说明,使得车辆管理的业务流程更加清晰.
In this paper, the state transformations of the life cycle of the corporate vehicle management were described by finite automata. By analyzing the process of vehicle manage- ment, various business processes could be got and be described, which were more clearly to business processes of the vehicle management.
出处
《哈尔滨商业大学学报（自然科学版）》
CAS
2012年第4期444-446,共3页
Journal of Harbin University of Commerce：Natural Sciences Edition
基金
国家自然科学基金(60803092)
关键词
有穷自动机
业务流程
业务流程
状态转化
finite automation
vehicle management
business process
state transformation
