pnets 0.1.3

A framework for Petri net manipulation
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

//! Time range for timed Petri nets
use std::fmt;
use std::fmt::Formatter;

/// Type of bound for time range
#[derive(PartialEq, Debug, Clone, Eq, Copy)]
pub enum Bound {
    /// Closed interval bound
    Closed(usize),
    /// Open interval bound
    Open(usize),
    /// Infinity bound
    Infinity,
}

impl fmt::Display for Bound {
    fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
        match self {
            Bound::Closed(v) => write!(f, "Close({})", v),
            Bound::Open(v) => write!(f, "Open({})", v),
            Bound::Infinity => write!(f, "Infinity"),
        }
    }
}

/// Represent a timerange in the Petri net
#[derive(Debug, Eq, PartialEq, Copy, Clone)]
pub struct TimeRange {
    /// Start of the time range
    pub start: Bound,
    /// end of the time range
    pub end: Bound,
}

impl TimeRange {
    /// Return a new timerange corresponding to the intersection of the timeranges
    #[must_use]
    pub fn intersect(&self, other: Self) -> Self {
        let new_start = match (self.start, other.start) {
            (Bound::Open(self_value), Bound::Open(other_value))
            | (Bound::Closed(self_value), Bound::Open(other_value))
            | (Bound::Open(self_value), Bound::Closed(other_value))
            | (Bound::Closed(self_value), Bound::Closed(other_value))
                if self_value != other_value =>
            {
                if self_value < other_value {
                    other.start
                } else {
                    self.start
                }
            }
            (Bound::Closed(value), Bound::Closed(_)) => Bound::Closed(value),
            (Bound::Open(value), _) | (_, Bound::Open(value)) => Bound::Open(value),
            (Bound::Infinity, o) | (o, Bound::Infinity) => o,
        };

        let new_end = match (self.end, other.end) {
            (Bound::Open(self_value), Bound::Open(other_value))
            | (Bound::Closed(self_value), Bound::Open(other_value))
            | (Bound::Open(self_value), Bound::Closed(other_value))
            | (Bound::Closed(self_value), Bound::Closed(other_value))
                if self_value != other_value =>
            {
                if self_value > other_value {
                    other.end
                } else {
                    self.end
                }
            }
            (Bound::Closed(value), Bound::Closed(_)) => Bound::Closed(value),
            (Bound::Open(value), _) | (_, Bound::Open(value)) => Bound::Open(value),
            (Bound::Infinity, o) | (o, Bound::Infinity) => o,
        };
        TimeRange {
            start: new_start,
            end: new_end,
        }
    }
}

impl Default for TimeRange {
    fn default() -> Self {
        Self {
            start: Bound::Closed(0),
            end: Bound::Infinity,
        }
    }
}