基于扩充的Petri网和脚本控制的物理动画演示平台

介绍了一个基于扩充的Petri网和脚本控制的物理动画演示平台的设计和实现。该平台对动画中的状态的跃迁点概念进行了扩充 ;将Petri网中持续概念的库所转化成一个或者多个瞬时动作的库所 ;引入了对象之间的全序关系的概念 ,从而简化了动画的描述。