论文部分内容阅读
一类离散制造系统Ｐｅｔｒｉ网的形式化设计方法
【机 构】
：
西安电子科技大学
【出 处】
：
第五届全国青年计算机工作者会议
【发表日期】
：
1994年期
其他文献
针对微波与激光混合链路中继卫星在执行初始调度方案过程中发生的各种动态扰动变化,分析研究各类扰动特点,把不同扰动下的动态问题归结为一类复杂约束下的任务插入问题。建立