Add Place::merge in the Petri Net library
Add conditions into Places