004 Datenverarbeitung; Informatik
Filtern
Erscheinungsjahr
- 2012 (69) (entfernen)
Dokumenttyp
- Diplomarbeit (22)
- Bachelorarbeit (19)
- Masterarbeit (11)
- Ausgabe (Heft) zu einer Zeitschrift (10)
- Studienarbeit (4)
- Dissertation (2)
- Konferenzveröffentlichung (1)
Schlagworte
- Akkreditierung (2)
- Android <Systemplattform> (2)
- Customer Relationship Management (2)
- DOCHOUSE (2)
- Fallstudie (2)
- IBM Lotus Quickr (2)
- Petri-Netze (2)
- Tablet PC (2)
- probability propagation nets (2)
- 101companies (1)
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.