Local States Assume a partition {(Pi)} in mutually exclusive places (simplifies the test of token absence) (p  Pi, p = Pi \ {p}) {{p1,p3,p5},{p2,p4,p6}} in our example A maximal (partial) marking is a set of places with one place per each subset of the partition A local state is (lrd stands for latest reading date ) _
{}