Third party dependencies used to build Petnet applications