Monovariant Analysis in Discrete Systems Implementation Protocol | Monovariant Analysis in Discrete Systems | Mathematics | NEROS