====== PlayGround ======
[[open:petrinets|petri nets]]