PNETS

Pnets是一个用于操作Petri网的框架

• crates.io
• docs.rs

此crate提供操作Petri网的API。此库提供了两种主要结构

• standard::Net - 允许操作经典Petri网；
• timed::Net - 允许操作时态Petri网。

为了方便操作这些网，此API提供了以下元素

• arc::Kind - Petri网中不同类型的弧的枚举；
• Marking - 用于操作空向量的结构；
• PlaceId 和 TransitionId - 用于索引网络中的位置和转换的类型。