Building Petri net scenarios for dependable automation systems

This paper considers the problem of building Petri net based evaluation scenarios for dependable automation systems and proposes a modelling process in which as much information as possible is extracted from a high level description of system entities and their relationships using the Class Diagram notation. Having fixed the domain to that of dependable automation systems also allows to reuse a number of predefined models. The class of nets of reference is that of Generalized Stochastic Petri Net, and their colored extension Stochastic Well Formed Nets, so that the system under study can be both validated and evaluated.