状态类方法相关论文
时间Petri网的现有分析理论主要关注基于区间端点的计算和推理，缺乏对实施区间内不确定性的定量描述，不利于时间Petri网进行系统性能......
时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间Petri网的典型柔性制造系统模型，利用状态类分析方法，定量计算......
