Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01438287
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 17, 2017 - 3:39:12 PM
Last modification on : Thursday, October 10, 2019 - 2:16:03 PM
Document(s) archivé(s) le : Tuesday, April 18, 2017 - 2:59:32 PM

File

419233_1_En_7_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Fernando Pereira, Luis Gomes. Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. 7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.65-76, ⟨10.1007/978-3-319-31165-4_7⟩. ⟨hal-01438287⟩

Share

Metrics

Record views

176

Files downloads

357