Ecore representation for extending PNML for input-output place-transition nets

This paper presents a metamodel for the Input-Output Place-Transition nets (IOPT nets), a Petri net class targeted at controllers modeling. The proposed metamodel reuses many of the elements of the Petri Net Markup Language (PNML) metamodel, such as places, transitions, and arcs; it extends the PNML...

ver descrição completa

Detalhes bibliográficos
Autor principal: Moutinho, F. (author)
Outros Autores: Gomes, L. (author), Ramalho, F. (author), Figueiredo, J. (author), Barros, João Paulo (author), Barbosa, P. (author), Pais, Rui (author), Costa, A. (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2013
Assuntos:
Texto completo:http://hdl.handle.net/20.500.12207/635
País:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/635