Manufacturing example should be added (as Example 4) in Timed Petri nets

[hurak]

Manufacturing example should be added (as Example 4) in Timed Petri nets. Currently it is just a TBD, but I do have the example developed (robot picking and placing items from the belt to the machine...).