For the most recent entries see the Petri Nets Newsletter.

Petri Net Based Verification of Communication Protocols Specified by Language Means.

Heiner, M.

1989: Informatik, Informationen, Reporte, Nr. 2. Berlin: Akademie der Wissenschaften der DDR, 1989.

Abstract: The approach described in this paper should be comprehended as part of a general workstation of protocal engingeering. The poblems discussed are influenced by some experience collected by Petri net based general verification of any high level language for parallel or distributed processing. This general experience if transferred to the special field of language means for communication protocols.

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

Back to the Petri Nets Bibliography