Flip model

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.

• For smart, click here and run: sh smart_gen_flip.sh n (n is the number of bits in the model.)
• For PRISM, click here and run: sh prism_gen_flip.sh n (n is the number of bits in the model.)

Generated file is saved in flip_n.sm