Filtern
Sprache
- Englisch (5) (entfernen)
Schlagworte
- Petri-Netze (2)
- probability propagation nets (2)
- Bayes Procedures (1)
- Horn Clauses (1)
- Petri Nets (1)
- Petri net (1)
- Petrinetz (1)
- Probability (1)
- Probability propagation nets (1)
- Propagation (1)
- Stochastic Logic (1)
- Tokens (1)
Institut
- Fachbereich 4 (5)
- Institut für Informatik (5)
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.