Demo usefull for control toy example
Demo usefull for control toy example
(evt-init {:keys [:automaton-simulation-de.simulation-engine/date]}
_state
future-events)
Add all products arrival to machine M1
Add all products arrival to machine M1
(infinite-part-terminate {:automaton-simulation-de.simulation-engine/keys [date]
:automaton-simulation-de.demo.control/keys [product
_machine]}
state
future-events)
(machine-arrive {:keys [:automaton-simulation-de.simulation-engine/date
:automaton-simulation-de.demo.control/product
:automaton-simulation-de.demo.control/machine]}
state
future-events)
Product p
is added on machine m
input buffer at date d
Creates a new event machine start for the same product p
starts on machine m
at date d
Product `p` is added on machine `m` input buffer at date `d` Creates a new event machine start for the same product `p` starts on machine `m` at date `d`
(machine-process {:automaton-simulation-de.simulation-engine/keys [date]
:automaton-simulation-de.demo.control/keys [product machine]}
state
future-events)
(machine-terminate {:automaton-simulation-de.simulation-engine/keys [date]
:automaton-simulation-de.demo.control/keys [product
machine]}
state
future-events)
(model)
(model-early-end)
(model-infinite)
(part-terminate _ state future-events)
(registries)
(registries infinite?)
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close