论文部分内容阅读
研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法. 从而将这类问题的多项式可解性从坚持网、无冲突网和状态机网的仅有Petri网子类,推广到更为广泛的这些子类的同步合成Petri网. 一般Petri网的这类问题的判定是NP完全问题. 因此,寻求这类问题的多项式可解性的任何更广网类的判定算法一直是重要的研究课题.