Crate ptnet-core
This crate provides the core types and traits for modeling and simulating Place/Transition nets.
TBD
Changes
Version 0.1.2
- Refactor: separate traits that inspect nets and simulations;
- add: add new
fmtmodule for formatting /point-in-time/ views, - add: implementation of
NetFormatter(``NetMatrixFormatter`) that outputs an arc matrix, - add: add new
tracermodule for continuous monitoring of simulations. - add: implementation of
SimulationTracer(MatrixTracer) that outputs a runtime matrix of place values and transition states.
- add: add new
- Fix: changed mutability on some trait methods, added
Rc<>in some places to allow for sharing of nets across different simulations for example.
Version 0.1.1
- Build: configure Github Actions.
Version 0.1.0
- Initial release.