• search hit 2 of 36
Back to Result List

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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Kurt Lautenbach
Series (Volume no.):Arbeitsberichte, FB Informatik (2012,9)
Document Type:Part of Periodical
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):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG