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

Volume

2

fYear

1994

fDate

2-5 Oct 1994

Firstpage

1983

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICSMC.1994.400143

Filename

400143