Sassone, V. Strong Concatenable Processes: An Approach to the Category of Petri Net Computations. BRICS 1994, 1.