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.
| Author: | Kurt Lautenbach |
|---|---|
| URN: | urn:nbn:de:kola-6934 |
| Series (Volume no.): | Arbeitsberichte, FB Informatik (2012,9) |
| Document Type: | Part of Periodical |
| Language: | English |
| Date of completion: | 2012/12/18 |
| Date of publication: | 2012/12/18 |
| Publishing institution: | Universität Koblenz, Universitätsbibliothek |
| Release Date: | 2012/12/18 |
| Tag: | Petri-Netze; Tokens |
| Number of pages: | 26 |
| Institutes: | Fachbereich 4 / Fachbereich 4 |
| Fachbereich 4 / Institut für Informatik | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  Es gilt das deutsche Urheberrecht: § 53 UrhG |
