On Separation of Concurrency and Conflicts in Acyclic Process Models. - Felix Elliger; Artem Polyvyanyy; Mathias Weske (EMISA, 2010)

Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings. - Matthias Weidlich 001; Felix Elliger; Mathias Weske (WS-FM, 2010)