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.

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
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):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG