Proxel-based simulation of stochastic petri nets containing immediate transitions
Lazarova-Molnar, S.
1; Horton, G.
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
1; Horton, G.1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2003 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000174146 |
| Erschienen in | On-site proceedings - Workshop on Stochastic Petri Nets and Related Formalisms : Satellite Workshop of ICALP 2003 ; Eindhoven, The Netherlands, June 28-29,2003. Ed.: P. Kemper |
| Veranstaltung | International Colloquium on Automata, Languages and Programming (ICALP 2003), Eindhoven, Niederlande, 05.07.2003 |
| Verlag | Technische Universität Dortmund (TU Dortmund) |
| Seiten | 203- |
| Serie | Forschungsberichte des Fachbereichs Informatik der Universität Dortmund ; 780 |
| Bemerkung zur Veröffentlichung | Satellite Workshop of ICALP 2003. |