基于Stateflow的Petri网仿真方法  

A Simulation Method of Petri Nets Based on Stateflow

作　　者：陶继平[1] 徐文艳[2] 杨根科[1] 王豪[1] 

机构地区：[1]上海交通大学自动化系,上海200240 [2]上海师范大学生命与环境科学学院,上海200234

出　　处：《计算机仿真》2006年第12期96-99,113,共5页Computer Simulation

摘　　要：Stateflow是m atlab环境下与simu link整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用其对Petri网模型进行仿真,提出了一种对Petri中资源的分类方法,根据petri网中资源的流通方式将资源分为循环资源、非循环资源及隐性资源,并结合变迁的个数和激活方式给出了从一个已知的Petri网构造其相应的Stateflow的具体规则及详细步骤,最后结合某汽车冲压单元的建模进行举例说明,构造过程显示出文中提出的仿真方法具有使用简单、通用性强、扩展性好的特点。Integrated with Simulink in Matlab environment, Stateflow is a toolbox used to simulate complex systems and event - driven systems. In the paper, it is employed to simulate Petri Nets. A classification scheme about Petri Nets resources is presented, in which resources are classified into circulatory ones, noncirculatory ones and recessive ones in terms of their circulation modes, and according to the number and firing modes of transitions, the basic rules and steps are developed to construct a corresponding stateflow chart from a given Petri Net model. An example about modeling a pressing workstation for automobile components is given, and the results show that the presented method is easily used, all - purpose and can be extended.

关 键 词：佩特里网 状态流 资源 库所 变迁 状态 

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