petri net api 4.02

C++ library and some utility programs for building, modifying, analyzing, and visualizing (place/transition, workflow) Petri nets. Reads lots of different formats and interfaces to some popular programs (most notably, LoLa, genet, and petrify).