摘要
本文首先给出P/T网的几种化简运算,然后证明这几种运算对于网的结构性质不变,从而为P/T网的分析与综合提供了有效途径.
In this paper 9 some reduction operations for P/T nets are proposed, and it is shown that these operations preserve the structural properties of P/T nets. These results provide an important way for synthesis and analysis of P/T nets.
出处
《软件学报》
EI
CSCD
北大核心
1997年第7期493-504,共12页
Journal of Software
基金
国家自然科学基金
煤炭部自然科学基金