Struct PetriNet 

pub struct PetriNet {
    pub places: HashMap<String, Place>,
    pub transitions: HashMap<String, Transition>,
    pub arcs: Vec<Arc>,
    pub token: Vec<String>,
}

A complete Petri net model.

Fields

places: HashMap<String, Place>

transitions: HashMap<String, Transition>

arcs: Vec<Arc>

token: Vec<String>

Implementations

impl PetriNet

pub fn new() -> Self

Creates an empty Petri net.

pub fn build() -> Builder

Starts building a Petri net with the fluent API.

pub fn add_place( &mut self, label: impl Into<String>, initial: Vec<f64>, capacity: Vec<f64>, x: f64, y: f64, label_text: Option<String>, ) -> &Place

Adds a place to the net.

pub fn add_transition( &mut self, label: impl Into<String>, role: impl Into<String>, x: f64, y: f64, label_text: Option<String>, ) -> &Transition

Adds a transition to the net.

pub fn add_arc( &mut self, source: impl Into<String>, target: impl Into<String>, weight: Vec<f64>, inhibit_transition: bool, )

Adds an arc to the net.

pub fn input_arcs(&self, transition_label: &str) -> Vec<&Arc>

Returns all arcs that lead into the given transition.

pub fn output_arcs(&self, transition_label: &str) -> Vec<&Arc>

Returns all arcs that lead out from the given transition.

pub fn set_state(&self, custom_state: Option<&State>) -> State

Creates a state map from the net’s initial state. If custom_state is provided, those values override defaults.

pub fn set_rates( &self, custom_rates: Option<&HashMap<String, f64>>, ) -> HashMap<String, f64>

Creates a rate map for all transitions. If custom_rates is provided, those values override the default of 1.0.

Trait Implementations

impl Clone for PetriNet

fn clone(&self) -> PetriNet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PetriNet

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

Formats the value using the given formatter.

impl Default for PetriNet

fn default() -> Self

Returns the “default value” for a type.