Petri网细化相关硕士博士期刊学术论文

针对多主体系统的构造复杂性问题,提出通过合成若干小系统来合成一个大系统,通过小系统的性质来分析合成后的系统性质。以基于合同......