Struct process_mining::PetriNet

pub struct PetriNet {
    pub places: HashMap<Uuid, Place>,
    pub transitions: HashMap<Uuid, Transition>,
    pub arcs: Vec<Arc>,
    pub initial_marking: Option<Marking>,
    pub final_markings: Option<Vec<Marking>>,
}

A Petri net of Places and Transitions

Bipartite graph of Places and Transitions with Arcs connecting them, as well as initial and final Markings

Fields

places: HashMap<Uuid, Place>

Places

transitions: HashMap<Uuid, Transition>

Transitions

arcs: Vec<Arc>

Arcs

initial_marking: Option<Marking>

Initial marking

final_markings: Option<Vec<Marking>>

Final markings (any of them are accepted as a final marking)

Implementations

impl PetriNet

pub fn new() -> Self

Create new PetriNet with no places or transitions

pub fn to_json(self) -> String

Serialize to JSON string

pub fn add_place(&mut self, place_id: Option<Uuid>) -> PlaceID

Add a place (with an optional passed UUID)

If no ID is passed, a new UUID will be generated

pub fn add_transition( &mut self, label: Option<String>, transition_id: Option<Uuid> ) -> TransitionID

Add a transition with an label (and with an optional passed UUID)

If no ID is passed, a new UUID will be generated

pub fn add_arc(&mut self, from_to: ArcType, weight: Option<u32>)

Add an arc

pub fn preset_of(&self, id: Uuid) -> PetriNetNodes

Get the preset of a PetriNet node referred to by passed id

pub fn preset_of_place(&self, p: PlaceID) -> Vec<TransitionID>

Get the preset of a PetriNet place

pub fn preset_of_transition(&self, t: TransitionID) -> Vec<PlaceID>

Get the preset of PetriNet transition referred to by passed id

pub fn postset_of(&self, id: Uuid) -> PetriNetNodes

Get postset of PetriNet node referred to by passed id

pub fn postset_of_place(&self, p: PlaceID) -> Vec<TransitionID>

Get postset of PetriNet place referred to by passed id

pub fn postset_of_transition(&self, t: TransitionID) -> Vec<PlaceID>

Get postset of PetriNet transition referred to by passed id

pub fn is_in_initial_marking(&self, p: &PlaceID) -> bool

Check if place is in initial marking

pub fn is_in_a_final_marking(&self, p: &PlaceID) -> bool

Check if place is in any final marking

Trait Implementations

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.

impl<'de> Deserialize<'de> for PetriNet

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for PetriNet

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.