Struct StochasticPetriNet 

pub struct StochasticPetriNet {
    pub net: PetriNet,
    pub rates: Vec<f64>,
}

A stochastic Petri net where each transition fires with a rate drawn from an exponential distribution.

Fields

net: PetriNet

Underlying classical Petri net.

rates: Vec<f64>

Firing rates for each transition (exponential distribution parameter λ).

Implementations

impl StochasticPetriNet

pub fn new(net: PetriNet, rates: Vec<f64>) -> Self

Create a stochastic Petri net from an existing PetriNet and a rate vector (one rate per transition, in order).

pub fn simulate_until(&mut self, t_end: f64) -> Vec<(f64, usize)>

Simulate until simulated time reaches t_end.

Returns a vector of (time, fired_transition_idx) events.

pub fn steady_state_estimate(&self, t_end: f64, n_samples: usize) -> Vec<f64>

Estimate steady-state token distribution by averaging over n_samples independent simulations each run to t_end.

Returns a vector of mean token counts for each place.

Trait Implementations

impl Clone for StochasticPetriNet

fn clone(&self) -> StochasticPetriNet

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StochasticPetriNet

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.