Title: Queueing Petri Nets Author: Falko Bause, Peter Kemper Abstract: In farbigen Petri-Netzen (CPN) entstehen neben Synchronisation und Nebenl"aufigkeit h"aufig auch Wartesituationen, deren explizite Modellierung sich als aufwendig erweist. Diese Wartesituationen sind in der Modellwelt der Queueing-Petri-Netze (QPN) auf nat"urliche Weise beschreibbar, da Wartestationen in CPNs integriert werden. Auf QPNs sind einerseits Verfahren aus der Petri-Netz-Theorie zur Gewinnung qualitativer Aussagen, wie z.B. Beschr"anktheit, anwendbar. Andererseits k"onnen mit Verfahren aus der Markov-Theorie Leistungskenngr"o"sen bestimmt werden. Beide Analysetechniken finden sich im QPN-Tool vereint, das den Zugang zur Modellwelt der QPNs "uber eine graphische Benutzerschnittstelle er"offnet. Published in: Proc. 3. Fachtagung Entwurf komplexer Automatisierungssysteme, Institut f\"{u}r Regelungs- und Automatisierungstechnik, TU Braunschweig, Germany, 1993