Petri net
caption: Contoh transisi token pada Petri net