Title :
Petri net-based real time simulation of industrial plants
Author :
Barozzi, S. ; Ferrara, A. Batistoni ; Camurri, A. ; Franchi, P. ; Mastroianni, C. ; Morelli, C. ; Sagoleo, R. ; Salomone, V.
Author_Institution :
Dept. of Autom., ITALIMPIANTI, Genoa, Italy
Abstract :
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
Keywords :
Petri nets; digital simulation; logic testing; production engineering computing; programming environments; real-time systems; Petri nets; XpetreX; control logics; industrial plants; modeling; real time simulation; simulation tool; software environment; Application software; Automatic control; Automatic testing; Electrical equipment industry; Industrial control; Industrial plants; Logic testing; Petri nets; Real time systems; System testing;
Conference_Titel :
Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-2129-4
DOI :
10.1109/ICSMC.1994.400143
