1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Chichester (1995)
2. Alla, H., Cavaille, J.B., Le Bail, M., Bel, G.: Les systémes de production par lot: une approche discret-continu utilisant les réseaux de Petri Hybrides. In: Proc. of ADPM 1992, Paris, France (January 1992)
3. Alla, H., David, R.: Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 8(1), 159–188 (1998)
4. Avizenis, A., Kelly, J.P.: Fault tolerance by design diversity: Concepts and experiments. Computer 17(8), 67–80 (1984)
5. Ayache, J.M., Azema, P., Diaz, M.: Observer, a concept for on line detection for control errors in concurrent systems. In: Proc. 9th IEEE Int. Sypm. Fault-Tolerant Computing, Madison, WI, USA, June 1992, pp. 79–86 (1992)