Refine
Year of publication
- 2012 (25) (remove)
Document Type
- Diploma Thesis (8)
- Part of Periodical (8)
- Bachelor Thesis (4)
- Master's Thesis (4)
- Conference Proceedings (1)
Language
- English (25) (remove)
Keywords
- Petri-Netze (2)
- probability propagation nets (2)
- 101companies (1)
- API Analysis (1)
- API Migratiom (1)
- Archivierung (1)
- Automatisches Beweisverfahren (1)
- Beschreibungslogik (1)
- Cloud Computing (1)
- Computerspiel (1)
Institute
- Fachbereich 4 (25) (remove)
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.