Struct Builder 

pub struct Builder { /* private fields */ }

Fluent builder for Petri net construction.

Implementations

impl Builder

pub fn new() -> Builder

Creates a new Builder.

pub fn place(self, label: &str, initial: f64) -> Builder

Adds a place with the given label and initial token count.

pub fn place_with_capacity( self, label: &str, initial: f64, capacity: f64, ) -> Builder

Adds a place with initial tokens and capacity limit.

pub fn transition(self, label: &str) -> Builder

Adds a transition with the given label.

pub fn transition_with_role(self, label: &str, role: &str) -> Builder

Adds a transition with a specific role.

pub fn arc(self, source: &str, target: &str, weight: f64) -> Builder

Adds an arc from source to target with the given weight.

pub fn inhibitor_arc(self, source: &str, target: &str, weight: f64) -> Builder

Adds an inhibitor arc from source to target.

pub fn flow( self, from_place: &str, transition: &str, to_place: &str, weight: f64, ) -> Builder

Adds bidirectional arcs for a flow pattern: place -> transition -> place.

pub fn chain(self, initial_tokens: f64, elements: &[&str]) -> Builder

Creates a sequential chain of places connected by transitions.

Elements must be odd length: place, trans, place, trans, place… The first place gets initial_tokens, all others get 0.

pub fn sir(self, susceptible: f64, infected: f64, recovered: f64) -> Builder

Creates a standard SIR epidemic model.

pub fn done(self) -> PetriNet

Returns the completed Petri net.

pub fn with_rates(self, default_rate: f64) -> (PetriNet, HashMap<String, f64>)

Returns the net and a rates map initialized to the given default rate.

pub fn with_custom_rates( self, rates: HashMap<String, f64>, ) -> (PetriNet, HashMap<String, f64>)

Returns the net and allows setting custom rates.

Trait Implementations

impl Default for Builder

fn default() -> Builder

Returns the “default value” for a type.