Library - petri