GitHub - statebox/petrinet-rs: basic Rust petrinet execution

Name	Name	Last commit message	Last commit date
Latest commit zkao Merge pull request #1 from Lederstrumpf/verify-transition-enabled-bef… Dec 17, 2020 c0a1612 · Dec 17, 2020 History 15 Commits
src	src	Refactor with pattern matching	Dec 15, 2020
.gitignore	.gitignore	fiat lux	Jan 3, 2020
Cargo.lock	Cargo.lock	added deserialization for nbpt format and convertion to Petrinet	Jan 7, 2020
Cargo.toml	Cargo.toml	added deserialization for nbpt format and convertion to Petrinet	Jan 7, 2020
protocol.rs	protocol.rs	fn unique_sorted_places and bug fix generating types	Jan 8, 2020
swap-protocol-both.nbpt.json	swap-protocol-both.nbpt.json	added deserialization for nbpt format and convertion to Petrinet	Jan 7, 2020