Logo des Repositoriums
 
Konferenzbeitrag

Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

465.pdf (157.89 KB)
cd-3566.pdf (249.44 KB)

Zusatzinformation

Datum

2009

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Informatik 2009 – Im Focus das Leben
Regular Research Papers

Verlag

Gesellschaft für Informatik e. V.

Zusammenfassung

Beschreibung

Vastag, Sebastian (2009): Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets. Informatik 2009 – Im Focus das Leben. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-248-2. pp. 465-465. Regular Research Papers. Lübeck. 28.9.-2.10.2009

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

P154 - INFORMATIK 2009 - Im Fokus das Leben