摘要
借助于模块化设计、分析思想,定义了Petri网顺序连接、选择、重复、并行等控制结构的合成运算及其对应的关联矩阵的合成运算;给出了合成Petri网的形式描述——网合成表达式;实现了基于子系统的Petri网建立复杂系统的Petri网模型,给出了利用子网的关联矩阵构造合成Petri网的关联矩阵的算法,为合成Petri网的结构性质分析的自动化提供了方法。
Based on the idea of modularization design and analysis,four kinds of net compose operations of petri net,sequence connect,select,repeat and parallel,are defined.The compose operation of incidence matrix is discussed.The format describing of compose petri net(compose expression of petri net) is given;It is implemented to constitute the petri net model of complex system based on petri net of subsystem.An arithmetic to construct incidence matrix of compose petri net is given,making use of the incidence matrix of subnet;A basic theory to automatically analyse the structure property of compose petri net is provided.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第20期85-88,214,共5页
Computer Engineering and Applications
