TY - GEN A1 - Lautenbach, Kurt T1 - The Quaternality of Simulation: An Event/Non-Event Approach N2 - 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. T3 - Arbeitsberichte, FB Informatik - 2012,9 KW - Petri-Netze KW - Tokens Y1 - 2012 UR - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/693 UR - https://nbn-resolving.org/urn:nbn:de:kola-6934 ER -