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 39-48. Berlin, Germany: Institut für Informatik und Rechentechnik, 1990.
Abstract: Petri net based software validation to check the synchronization structure against some data or control flow anomalies is a well-known approach. To decrease the complexity problem, the analysis is usually done with the help of place-transition Petri nets. The modelling by this Petri net class involves two important abstractions --- the time-consumption of any action and the data dependencies between conflict decisions. This paper discusses some problems resulting from these abstractions in the analyzed models which are neglected very often and therefore not well-understood up to now.
Keywords: net based software validation; synchronization structure; place-transition net; time-consumption (of actions); data dependency (between) conflict decision.