quios的事件、进程和推理算法

本文讨论开放型物理系统的定性推理方法．文中阐释quios机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出quios的推理算法．