A Petri C : nikbN