The strategy for encoding Petri nets as chained linear lists involves two structures: one for PList placements and one for TList transitions. This is the orthogonal representation of chained linear ...