Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems. - Krzysztof Lecki; Jerzy Tyszkiewicz; Jacek Sroka (ATAED@Petri Nets/ACSD, 2017)