2 stencils shared

Free
Petri Nets

Petri Nets

Petri Nets for modelling synchronization and non-deterministic processes (e.g. operating systems, workflows)

Free
Theoretical Computer Science: Automata

Theoretical Computer Science: Automata

Symbols for Finite Automata, Pushdown Automata and Turing Machines