Particle Petri Nets for Aircraft Procedure Monitering Under Uncertainty

这两天读了这篇文章，了解了什么是Hybrid System和Particle Petri net. 文章首先概括了飞行员在飞机飞行时的三种控制行为:navigation,guidance,control.然后用petri网为其建立模型。在文中，作者使用Differential Petri net 来描述连续事件， 使用Possibilistic Petri net来描述离散事件，这就解决了飞机飞行过程中的Numerical Uncertainty和Symbolic  Uncertainty问题.

Paricle Petri Net 被定义为一个七元组P = <P,T,A,D,C,E,M_{0^{> 。}}文章阐述了变迁发生规则（Numerical Transition发生规则和Symbolic Transition发生规则)，根据Particle Petri Net 自身的特点，分析了其随事件而不断变化的Evolution of Marking(包括:Isoparticle Evolution of the Marking和Isomarking Evolution of the Particles）。随后，文章就飞机的飞行过程利用已经建立的Petri模型进行模仿。接着，文章对变迁的活性，以及（引进的）安全域进行分析。最后，文章提出了针对行为追踪的Symbolic estimator,由于自己对粒子滤波方面的知识了解甚少，所以这部分内容我还有很多看不懂的地方。

自己：感叹于Petri Net强大的描述能力，但是文章中针对的是单个飞机的飞行过程的分析，如果有更多的飞机，关于飞行的安全性还能用本文建立的Petri模型去分析（飞机之间必然有碰撞性可能）吗。还有就是关于飞行过程状态用粒子滤波方法可以精确描述吗？看样子自己得先对粒子滤波有所了解。