Petri Net Kernel