Core Library for building a Petri net