Extending Timed Net Condition/Event Systems with hybrid petri nets | Publicación