Petri net-based real time simulation of industrial plants

This paper focuses on an industrial application of XpetreX, a system for modeling, real-time simulation and testing of systems, based on a language of the family of high-level Petri nets. First, the industrial application, consisting of accurate testing of the control logics resident on a basic automation system, is briefly introduced. Then, the overall architecture of the current version of the XpetreX software environment, developed for this kind of applications, is described. A discussion on the main results is included.<
>