Research Article
Petri Net Model for Serious Games Based on Motivation Behavior Classification
Table 3
Formal definition of a Petri net.
| A Petri net is a 5 tuple, PN = (P, T, F, W, ) where | | P = is a finite set of places, | | T = is a finite set of transitions, | | is a set of arcs (flow relation), | | is weight function, | | is the initial marking, | | and . | | A Petri net structure without any specific initial marking is denoted by . | | A Petri net with the given initial marking is denoted by . | |
|
|