Struct 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 remove_node(&mut self, id: &Uuid)

Remove any node (Transition/Place) from the Petri net

pub fn remove_place(&mut self, place_id: &Uuid)

Remove a Place from the Petri net

pub fn remove_transition(&mut self, transition_id: &Uuid)

Remove a Transition from the Petri net

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

pub fn export_png<P: AsRef<Path>>(&self, path: P) -> Result<(), Error>

Export Petri net as a PNG image

The PNG file is written to the specified filepath

Note: This is an export method for visualizing the Petri net. The resulting PNG file cannot be imported as a Petri net again (for that functionality, see PetriNet::export_pnml).

Only available with the graphviz-export feature.

pub fn export_svg<P: AsRef<Path>>(&self, path: P) -> Result<(), Error>

Export Petri net as a SVG image

The SVG file is written to the specified filepath

Note: This is an export method for visualizing the Petri net. The resulting SVG file cannot be imported as a Petri net again (for that functionality, see PetriNet::export_pnml).

Only available with the graphviz-export feature.

pub fn export_pnml<P: AsRef<Path>>(&self, path: P) -> Result<(), Error>

Export Petri net to a PNML file

The PNML file is written to the specified filepath

Note: This is an export method for saving the Petri net data. The resulting file can also be imported as a Petri net again (see PetriNet::import_pnml).

pub fn import_pnml<P: AsRef<Path>>(path: P) -> Result<PetriNet, PNMLParseError>

Import Petri net from a PNML file

The PNML file is read from the specified filepath

For the related export function, see PetriNet::export_pnml)

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.

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.