In: 1990; Proceedings of the 3rd Seminar on Modelling, Evaluation and Optimization of Dependable Computer Systems, 1990, Wendisch Rietz, Germany: Informatik, Informationen, Reporte, Nr. 12, pages 9-14. Berlin, Germany: Institut für Informatik und Rechentechnik, 1990.
Abstract: The paper discusses some aspects of modelling and debugging of distributed systems. It presents three modelling layers and a concept to integrate qualitative modelling and debugging. Petri nets and a modified `instant replay' mechanism are important to the concept.
Keywords: integration (of) modelling (and) debugging; distributed system.