Petri Net Based Software Validation: Prospects and Limitations

TitlePetri Net Based Software Validation: Prospects and Limitations
Publication TypeTechnical Report
Year of Publication1992
AuthorsHeiner, M.
Other Numbers727

Petri net based software validation to check the synchronization structure against some data or control flow anomalies (like unboundednesss or non-liveness) has been a well-known and widely used approach for about ten years. To decrease the complexity problem and because the simpler the model, the more efficient the analysis, the validation is usually tried with the help of place transition Petri nets. However, the modelling with this Petri net class involves two important abstractions of actual software properties -- the time consumption of any action and the data dependencies among conflict decisions. Basically, this paper discusses some problems resulting from these abstractions in the models analyzed which are very often neglected and have therefore not been well understood up to now. Furthermore, discussing the pros and cons of the Petri net approach is done by offering a rough overview of the given background of dependable distributed software engineering. Suggestions for a related workstation supporting different net-based methods are outlined.

Bibliographic Notes

ICSI Technical Report TR-92-022

Abbreviated Authors

M. Heiner

ICSI Publication Type

Technical Report