Kurt Lautenbach

• Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen