Warn when a place is not connected to the rest of Petri net.
Export some Petri nets statistics.