Ｐｅｔｒｉ网是用于描述和分析异步并发系统的最常用的形式模型之一，本文给出了赋时着色Ｐｅｔｒｉ网和赋时连续Ｐｅｔｒｉ网，通过扩展上述模型，得到具有层次的Ｐｅｔｒｉ网，探讨......