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...

Full description

Bibliographic Details
Main Author: Pereira, Fernando Joaquim Ganhão (author)
Format: doctoralThesis
Language:eng
Published: 2018
Subjects:
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
Online Access:http://hdl.handle.net/10362/27876
Country:Portugal
Oai:oai:run.unl.pt:10362/27876

Internet

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

Similar Items