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 …

IOPT-Tools is a cloud based integrated development environment to the design of
embedded system controllers and other digital systems, employing the IOPT Petri net …

This paper presents a new communication architecture to enable the remote control,
monitoring and debug of embedded-system controllers designed using IOPT Petri nets …

This paper describes an interactive tool to remotely debug, control, and monitor controllers
designed using IOPT Petri nets. The controllers run on physical hardware devices using …

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 …

Abstract The Internet of Things market is rapidly increasing and offers a wide variety of Smart
Products (SPs) apparently similar but with different potentialities that the average user fails …

This paper describes an interactive tool to remotely debug, control, and monitor controllers
designed using IOPT Petri nets. The controllers run on physical hardware devices using …