4 ms·Using petri-nets as a formal method to encode a game of tic-tac-toe - written in bash (for fun)by orksliver 5y agoUsing petri-nets as a formal method to encode a game of tic-tac-toe - written in bash (for fun)