“…A number of interesting approaches have been proposed including Petri nets [17,18], Mazurkiewicz traces [15,16], series-parallel posets and pomsets [13,14,19,21,22,23], event structures [18], and higher dimensional automata [3,20]. The Chu space model of concurrent behavior was proposed by Vineet Gupta and Vaughan Pratt [1,2].…”