The DS-Pnet modeling formalism for cyber-physical system development

This work presents the DS-Pnet modeling formalism (Dataflow, Signals and Petri nets), designed for the development of cyber-physical systems, combining the characteristics of Petri nets and dataflows to support the modeling of mixed systems containing both reactive parts and data processing operatio...

ver descrição completa

Detalhes bibliográficos
Autor principal: Pereira, Fernando Joaquim Ganhão (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2018
Assuntos:
Petri nets
dataflows
cyber-physical systems
embedded systems
design automation
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Texto completo:http://hdl.handle.net/10362/27876
País:Portugal
Oai:oai:run.unl.pt:10362/27876

Texto Completo

http://hdl.handle.net/10362/27876

Registos relacionados