Flip models the random flips on n bits. The model can be illustrated using the following stochastic Petri net:
The models in the paper are generated using following bash script.
Generated file is saved in flip_n.sm