Analysis of Applications Conceived by Object Enhanced Time Petri Nets

Abstract

Object Enhanced Time Petri Nets (OETPN) can be used for specifications analysis, design (including synthesis), implementation, integration and maintenance of software applications in the domain of reactive systems, cyber-physical systems, embedded systems, real-time systems, internet of things etc. due to their ability to describe complex structures, concurrent behavior, reaction to the environment events, distributed processing, and task migration. OETPNs are extended from classical Petri Nets (PNs) by having tokens modeling passive and active objects (threads of executions). The system behavior is determined by a number of guards and mappings associated with each transition. In order to verify systems that are developed with OETPNs, Time Petri Nets (TPNs) are used with the clock-stamped state class (CS-class) technique. A new method for converting OETPNs to TPNs is proposed so that the reachability graph can be generated and computed the end- to- end time for each thread aside. A complete system analysis, implementation, and verification is provided for a synchronous and asynchronous approach for the real-time point of view.