From AI prototype to credible information system.Explore Go Live Fintech
IoT · By Priostack

Tank Fleet

A water-tank controller modelled in EIP and compiled to a verified Petri net for Skopin edge nodes: fill when low, drain when high, never both at once.

What it does

A water-tank controller modelled in EIP and compiled to a verified Petri net for Skopin edge nodes: fill when low, drain when high, never both at once.

Listed for Web. Published by Priostack.

Get started

Tank Fleet is a reference example in Priostack's examples tree, under examples/tank_fleet. It has no hosted interface: it runs from its source.

That source is not published yet. Ask the team for it, or build something like it on Priostack.

Ask for the source · Build and publish your own

Access and permissions

It runs from its own source, so it is given no access to your account.

How capabilities and consent work

Also in IoT