In: ITG-Fachgespräch `Formale Beschreibungstechniken für verteilte Systeme', Magdeburg, June 1992 / König, H.: FOKUS-Reihe: GI, pages 126-141. Saur-Verlag, 1993.
Abstract: Petri net based software validation has been a well-known and widely used approach for about ten years. A careful design of Petri net components for all language constructs is an important prerequisite for getting usable analysis results. This illustrated by example. Moreover, looking on the concurrency world through Petri net glasses reveals new insights into concurrent software structures and their behaviour. Conclusions are derived concerning suitable language design from the viewpoint of a priori prevention or static analyzability of erroneous software structures.