The power of trace theory stems from the fact that the algebra of dependency graphs ( such as Petri nets ) is isomorphic to that of trace monoids, and thus, one can apply both algebraic formal language tools, as well as tools from graph theory.
22.
While there is no generally accepted unified theory for the development of source monitoring, five major theories contribute ideas about how source monitoring develops in children : Source Monitoring Theory, Fuzzy-trace Theory, Schema Theory, Person-based Perspective, and the Mental-state Reasoning Model.
23.
Thus, multiple trace theory predicts that, given some cue, the brain can compare that cue to a criterion to answer questions like " has this cue been experienced before ? " ( recognition ) or " what memory does this cue elicit ? " ( cued recall ), which are applications of summed similarity described below.
24.
While the trace monoid had been studied by Pierre Cartier and Dominique Foata for its combinatorics in the 1960s, trace theory was first formulated by Antoni Mazurkiewicz in the 1970s, in an attempt to evade some of the problems in the theory of concurrent computation, including the problems of interleaving and non-deterministic choice with regards to refinement in process calculi.
