System Analysis Tool Chain based on Petri Nets