tag:katalog.ub.uni-paderborn.de,2015:/local/sSuchergebnisse für creator = Girault, ClaudeUniversitätsbibliothek Paderborntag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990008317460106463Petri nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables<div>Girault, Claude; Valk, Rüdiger</div><div>2003</div>