1//! Various analyses that can be performed on models. 2 3pub(crate) mod petri; 4 5#[cfg(feature = "ode")] 6pub mod ode; 7 8pub mod reachability; 9 10#[cfg(feature = "sql")] 11pub mod sql; 12 13#[cfg(feature = "stochastic")] 14pub mod stochastic;