Combining data-flows and petri nets for cyber-physical systems specification

Fernando Pereira, Luis Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

This paper proposes a new modeling formalism for the specification of cyber-physical systems, combining the functionality offered by Petri nets and synchronous data flows. Petri nets have been traditionally used to model the behavior of reactive systems, whose state evolves depending on the interaction with external events. On the opposite, data-flow formalisms have been used predominantly to describe data-driven systems that produce output data through mathematical transformations applied to input signals. The proposed formalism covers both kinds of problems, offering support for the design of mixed systems containing linear control and signal processing operations along with event driven elements. Model composition using multiple components communicating through input and output signals and events, enable the implementation of distributed cyber-physical systems. The new formalism and the respective execution semantics are presented, with special attention to the bidirectional interaction between Petri net elements and data-flow nodes.

Original languageEnglish
Title of host publicationTechnological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings
PublisherSpringer New York LLC
Pages65-76
Number of pages12
Volume470
ISBN (Print) 978-331931164-7
DOIs
Publication statusPublished - 2016
Event7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016 - Costa de Caparica, Portugal
Duration: 11 Apr 201613 Apr 2016

Publication series

NameIFIP Advances in Information and Communication Technology
Volume470
ISSN (Print)18684238

Conference

Conference7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016
CountryPortugal
CityCosta de Caparica
Period11/04/1613/04/16

Fingerprint

Petri nets
Data flow
Formalism
Interaction
Node
Functionality
Modeling

Keywords

  • Cyber-physical systems
  • Data-flow
  • Embedded systems
  • Petri nets

Cite this

Pereira, F., & Gomes, L. (2016). Combining data-flows and petri nets for cyber-physical systems specification. In Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings (Vol. 470, pp. 65-76). (IFIP Advances in Information and Communication Technology; Vol. 470). Springer New York LLC. https://doi.org/10.1007/978-3-319-31165-4_7
Pereira, Fernando ; Gomes, Luis. / Combining data-flows and petri nets for cyber-physical systems specification. Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings. Vol. 470 Springer New York LLC, 2016. pp. 65-76 (IFIP Advances in Information and Communication Technology).
@inproceedings{be1dbce23ecb4bff9ca84f37ffefd7b0,
title = "Combining data-flows and petri nets for cyber-physical systems specification",
abstract = "This paper proposes a new modeling formalism for the specification of cyber-physical systems, combining the functionality offered by Petri nets and synchronous data flows. Petri nets have been traditionally used to model the behavior of reactive systems, whose state evolves depending on the interaction with external events. On the opposite, data-flow formalisms have been used predominantly to describe data-driven systems that produce output data through mathematical transformations applied to input signals. The proposed formalism covers both kinds of problems, offering support for the design of mixed systems containing linear control and signal processing operations along with event driven elements. Model composition using multiple components communicating through input and output signals and events, enable the implementation of distributed cyber-physical systems. The new formalism and the respective execution semantics are presented, with special attention to the bidirectional interaction between Petri net elements and data-flow nodes.",
keywords = "Cyber-physical systems, Data-flow, Embedded systems, Petri nets",
author = "Fernando Pereira and Luis Gomes",
note = "Sem PDF.",
year = "2016",
doi = "10.1007/978-3-319-31165-4_7",
language = "English",
isbn = "978-331931164-7",
volume = "470",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer New York LLC",
pages = "65--76",
booktitle = "Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings",

}

Pereira, F & Gomes, L 2016, Combining data-flows and petri nets for cyber-physical systems specification. in Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings. vol. 470, IFIP Advances in Information and Communication Technology, vol. 470, Springer New York LLC, pp. 65-76, 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, 11/04/16. https://doi.org/10.1007/978-3-319-31165-4_7

Combining data-flows and petri nets for cyber-physical systems specification. / Pereira, Fernando; Gomes, Luis.

Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings. Vol. 470 Springer New York LLC, 2016. p. 65-76 (IFIP Advances in Information and Communication Technology; Vol. 470).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Combining data-flows and petri nets for cyber-physical systems specification

AU - Pereira, Fernando

AU - Gomes, Luis

N1 - Sem PDF.

PY - 2016

Y1 - 2016

N2 - This paper proposes a new modeling formalism for the specification of cyber-physical systems, combining the functionality offered by Petri nets and synchronous data flows. Petri nets have been traditionally used to model the behavior of reactive systems, whose state evolves depending on the interaction with external events. On the opposite, data-flow formalisms have been used predominantly to describe data-driven systems that produce output data through mathematical transformations applied to input signals. The proposed formalism covers both kinds of problems, offering support for the design of mixed systems containing linear control and signal processing operations along with event driven elements. Model composition using multiple components communicating through input and output signals and events, enable the implementation of distributed cyber-physical systems. The new formalism and the respective execution semantics are presented, with special attention to the bidirectional interaction between Petri net elements and data-flow nodes.

AB - This paper proposes a new modeling formalism for the specification of cyber-physical systems, combining the functionality offered by Petri nets and synchronous data flows. Petri nets have been traditionally used to model the behavior of reactive systems, whose state evolves depending on the interaction with external events. On the opposite, data-flow formalisms have been used predominantly to describe data-driven systems that produce output data through mathematical transformations applied to input signals. The proposed formalism covers both kinds of problems, offering support for the design of mixed systems containing linear control and signal processing operations along with event driven elements. Model composition using multiple components communicating through input and output signals and events, enable the implementation of distributed cyber-physical systems. The new formalism and the respective execution semantics are presented, with special attention to the bidirectional interaction between Petri net elements and data-flow nodes.

KW - Cyber-physical systems

KW - Data-flow

KW - Embedded systems

KW - Petri nets

UR - http://www.scopus.com/inward/record.url?scp=84962094339&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-31165-4_7

DO - 10.1007/978-3-319-31165-4_7

M3 - Conference contribution

SN - 978-331931164-7

VL - 470

T3 - IFIP Advances in Information and Communication Technology

SP - 65

EP - 76

BT - Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings

PB - Springer New York LLC

ER -

Pereira F, Gomes L. Combining data-flows and petri nets for cyber-physical systems specification. In Technological Innovation for Cyber-Physical Systems - 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Proceedings. Vol. 470. Springer New York LLC. 2016. p. 65-76. (IFIP Advances in Information and Communication Technology). https://doi.org/10.1007/978-3-319-31165-4_7