KIT | KIT-Bibliothek | Impressum | Datenschutz

A partial-order-based simulation and validation approach for high-level Petri nets

Desel, Jörg; Freytag, Thomas; Oberweis, Andreas ORCID iD icon; Zimmer, Torsten


Volltext §
DOI: 10.5445/IR/120097
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1997
Sprache Englisch
Identifikator ISBN: 3-89685-554-9
urn:nbn:de:swb:90-AAA1200979
KITopen-ID: 120097
Erschienen in 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, Berlin, August 1997, Vol. 4. Ed.: A. Sydow
Verlag Wiss.-und Technik-Verl.
Seiten 361 - 366
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page