Abstract:
Cyber Physical System(CPS) is a combination of computing, controlling, and communication. However, some existing modeling approaches cann't effectively implement the complicated behaviors of the mixed discrete and continuous parts. In this paper, an AOcontPN modeling approach is proposed for aspect oriented continuous Petri net, in which common physical processes are extracted out as continuous Petri net and woven into the basic discrete Petri net. Thus, not only those physical processes can be reused and analyzed, but also the whole system can still be analyzed and verified using formal methods.