Eric Fabre Trellis Processes : A Compact Representation for Runs of Concurrent Systems. 267-306 2007 17 Discrete Event Dynamic Systems 3 http://dx.doi.org/10.1007/s10626-006-0001-0 db/journals/deds/deds17.html#Fabre07