ebi 0.3.14

A stochastic process mining utility and library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

use crate::semantics::semantics::Semantics;
use ebi_objects::{
    Activity, StochasticBusinessProcessModelAndNotation, anyhow::Result,
    ebi_bpmn::BPMNMarking, ebi_objects::labelled_petri_net::TransitionIndex,
};

impl Semantics for StochasticBusinessProcessModelAndNotation {
    type SemState = BPMNMarking;

    fn get_initial_state(&self) -> Option<<Self as Semantics>::SemState> {
        self.get_initial_marking().unwrap()
    }

    fn execute_transition(
        &self,
        state: &mut <Self as Semantics>::SemState,
        transition: TransitionIndex,
    ) -> Result<()> {
        StochasticBusinessProcessModelAndNotation::execute_transition(&self, state, transition)
    }

    fn is_final_state(&self, state: &<Self as Semantics>::SemState) -> bool {
        self.is_final_marking(state).unwrap()
    }

    fn is_transition_silent(
        &self,
        transition: TransitionIndex,
        state: &<Self as Semantics>::SemState,
    ) -> bool {
        StochasticBusinessProcessModelAndNotation::is_transition_silent(&self, transition, state)
    }

    fn get_transition_activity(
        &self,
        transition: TransitionIndex,
        state: &<Self as Semantics>::SemState,
    ) -> Option<Activity> {
        StochasticBusinessProcessModelAndNotation::get_transition_activity(&self, transition, state)
    }

    fn get_enabled_transitions(
        &self,
        state: &<Self as Semantics>::SemState,
    ) -> Vec<TransitionIndex> {
        StochasticBusinessProcessModelAndNotation::get_enabled_transitions(&self, state).unwrap()
    }
}