Dependability Modeling and Assessment in UML-Based Software Development

Figure 9

Petri net basic concepts.