For the most recent entries see the Petri Nets Newsletter.

A Concept for the Integration of Modelling and Debugging.

Dahmen, J.-H.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography