# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "data-stream"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "baab45094de14adb8c6c74c95b0f3b329d00d2a856f556d5a2d66acbd6494b10"

[[package]]
name = "event-simulation"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "00204ecf5b14c29858cb92cc5ea944b79397ef8fcd2a0f4876b947ed97adfd48"

[[package]]
name = "petri-net-simulation"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "241d6f0ea1d835c4ef4076a2740b008155d9536f773466ec1cb66174ed3ae841"
dependencies = [
 "event-simulation",
 "pns",
]

[[package]]
name = "petri-nets"
version = "0.3.0"
dependencies = [
 "event-simulation",
 "petri-net-simulation",
 "pns",
]

[[package]]
name = "pns"
version = "0.17.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "07f7c56444e4f00657e3f013c9dfa119b3e2e1a0bc63d5eb098cc8735b90240b"
dependencies = [
 "data-stream",
]