ptnet-elementary 0.1.2

Implementation of ptnet-core for Elementary nets (EN).
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
89
90
91
92
93
94
95
96
97
98
99
100
101

use ptnet_core::{
    net::{Net, NetBuilder, PlaceBuilder, TransitionBuilder},
    sim::{Marking, Simulation},
    trace::{MatrixTracer, TraceableSimulation},
};
use ptnet_elementary::{
    Dot, ElementaryNet, ElementaryNetBuilder, ElementarySimulation, SimpleArc, SimpleMarking,
    SimplePlace, SimpleTransition,
};

#[test]
fn test_make_simple_net() {
    let mut net = ElementaryNet::default();
    let p0 = net.add_place();
    let p1 = net.add_place();
    let p2 = net.add_place();
    let t0 = net.add_transition();
    let t1 = net.add_transition();
    net.add_arc(p0, t0);
    net.add_arc(t0, p1);
    net.add_arc(p1, t1);
    net.add_arc(t1, p2);

    let mut im = SimpleMarking::from(&net);
    im.mark(p0, Dot::from(true));

    let tracer: MatrixTracer<
        SimplePlace,
        SimpleTransition,
        SimpleArc,
        ElementaryNet,
        Dot,
        SimpleMarking,
        ElementarySimulation,
    > = MatrixTracer::default();
    let mut sim = ElementarySimulation::new(net.into(), im.clone());
    sim.add_tracer(tracer.into());

    while !sim.is_complete().unwrap_or_default() {
        sim.step().unwrap();
    }
}

#[test]
fn test_producer_consumer() {
    let mut builder = ElementaryNetBuilder::default();

    builder
        .place()
        .remember_as("p1")
        .to_transition()
        .with_label("fill")
        .remember_as("fill")
        .to_place()
        .remember_as("p2")
        .to_transition()
        .with_label("produce")
        .to_remembered("p1");

    builder
        .recall_transition("fill")
        .to_place()
        .with_label("b/full")
        .to_transition()
        .with_label("empty")
        .remember_as("empty")
        .to_place()
        .to_transition()
        .with_label("consume")
        .to_place()
        .remember_as("c1");

    builder.arc(
        builder.recall("c1").unwrap(),
        builder.recall("empty").unwrap(),
    );

    let p2 = builder.recall("p2").unwrap();
    let c1 = builder.recall("c1").unwrap();

    let net = builder.build();
    let mut im = SimpleMarking::from(&net);
    im.mark_as(p2, true);
    im.mark_as(c1, true);

    let tracer: MatrixTracer<
        SimplePlace,
        SimpleTransition,
        SimpleArc,
        ElementaryNet,
        Dot,
        SimpleMarking,
        ElementarySimulation,
    > = MatrixTracer::default();
    let mut sim = ElementarySimulation::new(net.into(), im.clone());
    sim.add_tracer(tracer.into());

    while !sim.is_complete().unwrap_or_default() && *sim.current_step().as_ref() < 100 {
        sim.step().unwrap();
    }
}