Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab

被引：27

作者：

Basile, Francesco ^{[1
]}

Carbone, Ciro ^{[1
]}

Chiacchio, Pasquale ^{[1
]}

机构：

[1] Univ Salerno, DIIIE, I-84084 Fisciano, SA, Italy

来源：

CONTROL ENGINEERING PRACTICE | 2007年 / 15卷 / 02期

关键词：

computer-aided control system design; Discrete-Event Systems; Petri-Nets; simulation; supervisory control;

D O I：

10.1016/j.conengprac.2006.07.006

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Supervisory control based on Petri Nets (PNs) or Colored Petri Nets (CPNs) model of the plant leads to supervisors which can be PN/CPN themselves (compiled supervisors) or simply a set of logical predicates (interpreted supervisors). There is a lack of simulation and analysis tools that can be used in both cases and can support the development of supervisors. In this paper PNetLab is presented, a simulation and analysis tool developed by the Automatic Control Group of the University of Salerno. It allows drawing of a PN/CPN model by a graphical user interface and the definition of the supervisor as a PN/CPN or as a standard C/C + + program implementing logical predicates. Functionalities to analyze the closed-loop model with all kinds of supervisors (PN/CPN/logical predicates) are available (token game and coverability tree) as well as standard functionalities when both the plant and the controller are PNs (P-invariants, T-invariants, minimal siphons and traps computation). In addition, PNetLab includes management of time (plant modelled by timed PNs/CPNs) and conflict management so as to permit testing of scheduling strategies together with the supervisor as required in performance optimization problems. Finally, the tool's simulation engine can be linked from an external program allowing look-ahead supervisory techniques. The tool is available free of charge for interested readers. (c) 2006 Elsevier Ltd. All rights reserved.

引用

页码：241 / 259

页数：19

共 19 条

[1] An approach to control automated warehouse [J].

Amato, F ;

Basile, F ;

Carbone, C ;

Chiacchio, P .

CONTROL ENGINEERING PRACTICE, 2005, 13 (10) :1223-1241

[2]

[Anonymous], 2003, GUIDE MODELING VERIF

[3]

CAMPOS J, 1992, LECT NOTES COMPUT SC, V609, P352

[4]

CARBONE C, 2005, THESIS U SALERNO ITA

[5]

Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd, DOI 10.1007/978-3-030-72274-6

[6] The supervised control of discrete-event dynamic systems [J].

Charbonnier, F ;

Alla, H ;

David, R .

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (02) :175-187

[7]

Cordone R, 2003, 42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, P3754

[8] Monitor design for colored Petri nets: An application to deadlock prevention in railway networks [J].

Fanti, M. P. ;

Giua, A. ;

Seatzu, C. .

CONTROL ENGINEERING PRACTICE, 2006, 14 (10) :1231-1247

[9]

Fanti MP, 2003, IEEE SYS MAN CYBERN, P1860

[10]

GIUA A, 2004, 7 WORKSH DISCR EV SY, P361

← 1 2 →