1. The effect of execution policies on the semantics and analysis of stochastic Petri nets;Ajmone Marsan;IEEE Trans on Software Engineering,1989
2. Modelling with generalized stochastic Petri nets;Ajmone Marsan,1995
3. A method for hierarchical specification and prototyping of flexible manufacturing systems;Amar,1992
4. Fault tolerance by design diversity: Concepts and experiments;Avizenis;Computer,1984