@INPROCEEDINGS{grahlmann:10/94,
        AUTHOR             = {Bernd Grahlmann},
        BOOKTITLE          = {{Proceedings of AWPN'94 (Workshop Algorithmen und Werkzeuge
f{\"u}r Petrinetze)}},
        EDITOR             = {J. Desel and A. Oberweis and W. Reisig},
        MONTH              = oct,
        NUMBER             = {{309}},
        PAGES              = {{20--25}},
        PUBLISHER          = {{AIFB Universit{\"a}t Karlsruhe}},
        TITLE              = {{PEP: Ein Werkzeug zur Modellierung, Simulation, Analyse und Verifikation paralleler Systeme}},
        YEAR               = {{1994}}
}