基于有限状态机与Petri网的系统分析与设计

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统，基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模，并以此为基础完成系统的详细设计，其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计，系统运行性能良好。试验证明这种分析设计方法合理可行。

System Analysis and Design Based on Methods of FSM and Petri Net

A real-time multitask system for the space aircraft docking simulation is presented and the system composition,the functions requirement and the system structure are introduced.Based on the methods of finite state machine(FSM)and Petri net,the single task and the multitask models are built respectively.According to these models,the system design is accomplished.By applying the fork and the resources sharing prototypes,the synchronization and the mutex functions can be realized.In actual application,the engineering and modularization methods are used and the system performances are good as a result.Experimental results show that the methods for the system analysis and design are rational and feasible.