Struct PetriNet 

pub struct PetriNet {
    pub places: Vec<Place>,
    pub transitions: Vec<Transition>,
    pub arcs_in: Vec<(usize, usize, Weight)>,
    pub arcs_out: Vec<(usize, usize, Weight)>,
}

A classical (Place/Transition) Petri net.

Arcs are stored as (transition_idx, place_idx, weight) triples.

Fields

places: Vec<Place>

All places in this net.

transitions: Vec<Transition>

All transitions in this net.

arcs_in: Vec<(usize, usize, Weight)>

Input arcs: (transition, place, weight) – tokens consumed on fire.

arcs_out: Vec<(usize, usize, Weight)>

Output arcs: (transition, place, weight) – tokens produced on fire.

Implementations

impl PetriNet

pub fn new() -> Self

Create an empty Petri net.

pub fn add_place(&mut self, place: Place) -> usize

Add a place and return its index.

pub fn add_transition(&mut self, transition: Transition) -> usize

Add a transition and return its index.

pub fn add_arc_in(&mut self, t: usize, p: usize, weight: Weight)

Add an input arc: transition t consumes weight tokens from place p.

pub fn add_arc_out(&mut self, t: usize, p: usize, weight: Weight)

Add an output arc: transition t produces weight tokens into place p.

pub fn marking(&self) -> Vec<usize>

Return the current marking (token counts for every place).

pub fn set_marking(&mut self, marking: &[usize])

Apply a marking vector to the net (sets token counts).

pub fn enabled_transitions(&self) -> Vec<usize>

Return indices of all currently enabled transitions.

A transition is enabled when every input arc can be satisfied and the guard (if any) returns true.

pub fn fire(&mut self, t_idx: usize) -> Result<(), String>

Fire transition t_idx, updating token counts.

Returns Ok(()) on success or Err(String) if the transition is not enabled.

pub fn is_deadlocked(&self) -> bool

Returns true if no transition is currently enabled (deadlock).

pub fn marking_sum(&self) -> usize

Sum of all tokens in the net (useful for conservation checks).

pub fn reachability_bfs(&self) -> HashSet<Vec<usize>>

BFS over reachable markings from the current marking.

Returns the set of all reachable markings (including the initial one).

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.