The Quaternality of Simulation: An Event/Non-Event Approach
- Dualizing marked Petri nets results in tokens for transitions (t-tokens). A marked transition can strictly not be enabled, even if there are sufficient "enabling" tokens (p-tokens) on its input places. On the other hand, t-tokens can be moved by the firing of places. This permits flows of t-tokens which describe sequences of non-events. Their benefiit to simulation is the possibility to model (and observe) causes and effects of non-events, e.g. if something is broken down.
| Verfasserangaben: | Kurt Lautenbach |
|---|---|
| URN: | urn:nbn:de:kola-6934 |
| Schriftenreihe (Bandnummer): | Arbeitsberichte, FB Informatik (2012,9) |
| Dokumentart: | Ausgabe (Heft) zu einer Zeitschrift |
| Sprache: | Englisch |
| Datum der Fertigstellung: | 18.12.2012 |
| Datum der Veröffentlichung: | 18.12.2012 |
| Veröffentlichende Institution: | Universität Koblenz, Universitätsbibliothek |
| Datum der Freischaltung: | 18.12.2012 |
| Freies Schlagwort / Tag: | Petri-Netze; Tokens |
| Seitenzahl: | 26 |
| Institute: | Fachbereich 4 / Fachbereich 4 |
| Fachbereich 4 / Institut für Informatik | |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Lizenz (Deutsch): |  Es gilt das deutsche Urheberrecht: § 53 UrhG |
