Specification of Cyber-Physical Systems with the Application of Interpreted Nets

The paper shows the application of interpreted nets for the specification of the cyber-physical system control unit. In particular, live and safe Petri nets are taken into account in order to present the concurrency relations in the designed system. Additionally, such nets include additional input and output signals used for communication with the environment. A CPS specified by the interpreted net can be easily verified (with the application of formal methods), analyzed, decomposed and even implemented (as an integrated or distributed system). The presented idea is illustrated by a manufacturing system case study.