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

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

作　　者：姜春英[1] 房立金[1] 赵明扬[1] 

机构地区：[1]中国科学院沈阳自动化研究所

出　　处：《计算机工程》2007年第18期245-248,共4页Computer Engineering

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

关 键 词：有限状态机 PETRI网 航天器 实时多任务系统 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]