Text this: Finite scheduling of collaborative design and manufacturing activity: a Petri net approach