A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification
[chapter]
2016
IFIP Advances in Information and Communication Technology
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
doi:10.1007/978-3-319-31165-4_7
fatcat:g7mic6yr65cyrmtiexksykuk74