广义互斥Parikh矢量约束相关硕士博士期刊学术论文

离散事件系统是一类受事件驱动的人造动态系统，如柔性生产线或装配线、大规模计算机和通信网络、空中或路面交通管理系统等。离散事......