Struct LabelledPetriNet 

pub struct LabelledPetriNet {
    pub activity_key: ActivityKey,
    pub initial_marking: Marking,
    pub labels: Vec<Option<Activity>>,
    pub place2output_transitions: Vec<Vec<usize>>,
    pub transition2input_places: Vec<Vec<usize>>,
    pub transition2output_places: Vec<Vec<usize>>,
    pub transition2input_places_cardinality: Vec<Vec<u64>>,
    pub transition2output_places_cardinality: Vec<Vec<u64>>,
}

Fields

activity_key: ActivityKey

initial_marking: Marking

labels: Vec<Option<Activity>>

place2output_transitions: Vec<Vec<usize>>

transition2input_places: Vec<Vec<usize>>

transition2output_places: Vec<Vec<usize>>

transition2input_places_cardinality: Vec<Vec<u64>>

transition2output_places_cardinality: Vec<Vec<u64>>

Implementations

impl LabelledPetriNet

pub fn new() -> Self

pub fn new_empty_language() -> Self

pub fn get_number_of_places(&self) -> usize

pub fn get_initial_marking(&self) -> &Marking

pub fn is_transition_silent(&self, transition: TransitionIndex) -> bool

pub fn get_transition_label( &self, transition: TransitionIndex, ) -> Option<Activity>

pub fn add_place(&mut self) -> usize

pub fn get_initial_marking_mut(&mut self) -> &mut Marking

pub fn add_transition(&mut self, label: Option<Activity>) -> TransitionIndex

pub fn add_transition_place_arc( &mut self, from_transition: TransitionIndex, to_place: usize, cardinality: u64, ) -> Result<()>

pub fn add_place_transition_arc( &mut self, from_place: usize, to_transition: TransitionIndex, cardinality: u64, ) -> Result<()>

pub fn incidence_vector(&self, transition: TransitionIndex) -> Vec<i128>

pub fn max_transition_input_arc_cardinality(&self) -> u64

Trait Implementations

impl Clone for LabelledPetriNet

fn clone(&self) -> LabelledPetriNet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LabelledPetriNet

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

Formats the value using the given formatter.

impl Display for LabelledPetriNet

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

Formats the value using the given formatter.

impl Exportable for LabelledPetriNet

fn export_from_object(object: EbiObject, f: &mut dyn Write) -> Result<()>

fn export(&self, f: &mut dyn Write) -> Result<()>

impl From<DeterministicFiniteAutomaton> for LabelledPetriNet

fn from(value: DeterministicFiniteAutomaton) -> Self

Converts to this type from the input type.

impl From<DirectlyFollowsGraph> for LabelledPetriNet

fn from(value: DirectlyFollowsGraph) -> Self

Converts to this type from the input type.

impl From<DirectlyFollowsModel> for LabelledPetriNet

fn from(value: DirectlyFollowsModel) -> LabelledPetriNet

Converts to this type from the input type.

impl From<LabelledPetriNet> for LolaNet

fn from(value: LabelledPetriNet) -> Self

Converts to this type from the input type.

impl From<LolaNet> for LabelledPetriNet

fn from(value: LolaNet) -> Self

Converts to this type from the input type.

impl From<PetriNetMarkupLanguage> for LabelledPetriNet

fn from(value: PetriNetMarkupLanguage) -> Self

Converts to this type from the input type.

impl From<ProcessTree> for LabelledPetriNet

fn from(value: ProcessTree) -> Self

Converts to this type from the input type.

impl From<ProcessTreeMarkupLanguage> for LabelledPetriNet

fn from(value: ProcessTreeMarkupLanguage) -> Self

Converts to this type from the input type.

impl From<StochasticDeterministicFiniteAutomaton> for LabelledPetriNet

fn from(value: StochasticDeterministicFiniteAutomaton) -> Self

Converts to this type from the input type.

impl From<StochasticDirectlyFollowsModel> for LabelledPetriNet

fn from(value: StochasticDirectlyFollowsModel) -> LabelledPetriNet

Converts to this type from the input type.

impl From<StochasticLabelledPetriNet> for LabelledPetriNet

fn from(value: StochasticLabelledPetriNet) -> Self

Converts to this type from the input type.

impl From<StochasticProcessTree> for LabelledPetriNet

fn from(value: StochasticProcessTree) -> Self

Converts to this type from the input type.

impl FromStr for LabelledPetriNet

type Err = Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Graphable for LabelledPetriNet

fn to_dot(&self) -> Result<VisualGraph>

impl HasActivityKey for LabelledPetriNet

fn activity_key(&self) -> &ActivityKey

fn activity_key_mut(&mut self) -> &mut ActivityKey

impl Importable for LabelledPetriNet

fn import_as_object(reader: &mut dyn BufRead) -> Result<EbiObject>

fn import(reader: &mut dyn BufRead) -> Result<Self>

impl Infoable for LabelledPetriNet

fn info(&self, f: &mut impl Write) -> Result<()>

impl TranslateActivityKey for LabelledPetriNet

fn translate_using_activity_key(&mut self, to_activity_key: &mut ActivityKey)

Change the activity key of this object, by translating all mentions of activities to the new activity key (which will be updated with activity labels it did not have yet.). This is a potentially expensive operation. If only a part of the activities will be used, then consider using an ActivityKeyTranslator directly. The activity key of this object will be updated too, so the activity keys will be equivalent afterwards.

impl TryFrom<&LabelledPetriNet> for PetriNet

type Error = Error

The type returned in the event of a conversion error.

fn try_from(lpn: &LabelledPetriNet) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<PetriNet> for LabelledPetriNet

type Error = Error

The type returned in the event of a conversion error.

fn try_from(pnml: PetriNet) -> Result<Self, Self::Error>

Performs the conversion.