cpn-rs
A Colored Petri Net implementation in Rust.