Struct PetriNet 

pub struct PetriNet {
    pub name: String,
    pub places: Vec<Place>,
    pub transitions: Vec<Transition>,
    pub arcs: Vec<Arc>,
    pub initial_marking: HashMap<String, u32>,
    pub final_marking: HashMap<String, u32>,
}

A Petri net process model.

Fields

name: String

Model name.

places: Vec<Place>

Places.

transitions: Vec<Transition>

Transitions.

arcs: Vec<Arc>

Arcs.

initial_marking: HashMap<String, u32>

Initial marking (place_id -> tokens).

final_marking: HashMap<String, u32>

Final marking (place_id -> tokens).

Implementations

impl PetriNet

pub fn new(name: String) -> Self

Create a new Petri net.

pub fn add_place(&mut self, id: String, name: String)

Add a place.

pub fn add_transition(&mut self, id: String, label: Option<String>)

Add a transition.

pub fn add_arc(&mut self, source: String, target: String, weight: u32)

Add an arc.

pub fn enabled_transitions( &self, marking: &HashMap<String, u32>, ) -> Vec<&Transition>

Get enabled transitions for current marking.

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.