Muganga, B.Pacull, F.Mazouni, K. R.Wolff, A.-D.2005-05-202005-05-202005-05-20199510.1109/VL.1995.520799.https://infoscience.epfl.ch/handle/20.500.14299/213894The design of fault-tolerant distributed applications is a complex task. In addition to application functionalities, the programmer must consider issues related to both replication and distribution for every application component concerned with fault-tolerance. This paper describes an approach which combines two environments (Specs and Garf) so as to: (1) graphically design applications using high level Petri nets and (2) discharge the programmer of fault-tolerance issues.text::conference output::conference proceedings::conference paper