Contoh transisi token pada Petri net