KIT | KIT-Bibliothek | Impressum | Datenschutz

Causal-semantic-based simulation and validation of high-level Petri nets

Desel, Jörg; Freytag, Thomas; Oberweis, Andreas


Volltext §
DOI: 10.5445/IR/120197
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 urn:nbn:de:swb:90-AAA1201974
KITopen-ID: 120197
Erschienen in Proceedings of the 11th European Simulation Multiconference Istanbul, Turkey, June 1-4, 1997
Verlag Society for Computer Simulation International
Seiten 826 - 831
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page