Review socket communication:
Update TriggerableActions: add option to request Laalys by Petri net name
Update GetPetriNetsMarkings: add option to request Laalys by Petri net name
Add ResetPetriNetsFromCurrentMarkings: request Laalys to reset accessibility/coverability graph of all Petri net or by name