A Combination of Petri-Nets and Linear Programming in Design for Dependability