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.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; António J. Falcão; Nazanin Vafaei; Shirin Najdi. 7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-470, pp.65-76, 2016, Technological Innovation for Cyber-Physical Systems. 〈10.1007/978-3-319-31165-4_7〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01438287
Contributeur : Hal Ifip <>
Soumis le : mardi 17 janvier 2017 - 15:39:12
Dernière modification le : mardi 17 janvier 2017 - 15:49:43
Document(s) archivé(s) le : mardi 18 avril 2017 - 14:59:32

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Fernando Pereira, Luis Gomes. Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. Luis M. Camarinha-Matos; António J. Falcão; Nazanin Vafaei; Shirin Najdi. 7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-470, pp.65-76, 2016, Technological Innovation for Cyber-Physical Systems. 〈10.1007/978-3-319-31165-4_7〉. 〈hal-01438287〉

Partager

Métriques

Consultations de la notice

107