Missing parameter name in template_model_to_petrinet_json export

[liunelson]

When I call mira.modeling.amr.petrinet.template_model_to_petrinet_json to convert a TemplateModel to a AMR JSON for export, the objects in semantics.ode.parameters are missing the name key.

Looking at petrinet.py, I see that no name is included if display_name = None.

Since the CIEMSS operators expect a name key, can we have a fallback like this?

if param.display_name:
    param_dict['name'] = param.display_name
else:
    param_dict['name'] = str(key)