Crate ptnet-elementary
This crate provides an implementation of the
ptnet-core
traits for Elementary net (EN) systems.
Example
use ;
use ;
let mut net = 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;
net.add_arc;
net.add_arc;
net.add_arc;
println!;
let mut f = default;
print_net.unwrap;
println!;
let mut f = default;
print_net.unwrap;
println!;
let mut im = from;
im.mark;
let tracer: = default;
let mut sim = new;
sim.add_tracer;
while !sim.is_complete.unwrap_or_default
Changes
Version 0.1.2
- Feature: update core to
v0.1.2
and adjust to changes in core traits. - Feature: move Graphviz formatter to new
NetFormatter
andMarkedNetFormatter
interfaces. - Feature: move net matrix to core crate.
- Feature: add calls to tracer from within
ElementarySimulation
.
Version 0.1.1
- Build: configure Github Actions.
Version 0.1.0
- Initial release.