Conceiving the Cyber-Physical Systems with Object Enhanced Time Petri Nets

The conceiving of the Cyber-Physical Systems (CPSs) requires models that can sustain the specification, the synthesis, the design, the verification, the implementation and the testing. The newly introduced models consisting of Object Enhanced Time Petri Nets (OETPNs) can be successfully used to meet this requirement. Changing the unique kind of tokens in the classical Petri Nets (PNs) with the software passive or active objects opens the possibility to describe the object dynamic instantiation and distributed concurrent tasks that are moved through a computer net with a dynamical structure. The moving tasks can be loaded with agents missions obtaining thus a so called dynamic multi-agent system. The need to move Java compiled codes to another computer, in the absence of the source classes at the destination, is fulfilled by changing the problem into one with tasks instantiated with different parameters.