For the most recent entries see the Petri Nets Newsletter.

A Petri Net View of Process Communication.

Heiner, Monika

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.

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

Back to the Petri Nets Bibliography