Ein Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen. - Lutz Augustin (1989)