In: 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, Illinois, USA, pages 72-83. IEEE Press, September 2003.
Abstract: 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.