PNetLab

Overview

Entry last updated: 2011/4/21
Entry last validated: 2011/4/21

Tool homepage: http://www.automatica.unisa.it/

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Place Invariants
Transition Invariants
Structural Analysis
Simple Performance Analysis
Interchange File Format

Environments

PC, MS Windows XP

Tool Description

Supervisory Control based on Petri Nets (PNs), Colored Petri Nets (CPN) or Colored Modified Hybrid Petri Nets (CMHPN) 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. PNetLab is a simulation and analysis tool developed by the Automatic Control Group of the University of Salerno. It allows drawing of a PN/CPN/CMHPN 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 kind of supervisors (PN/CPN/CMHPN/logical predicates) are available (token game ad 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-aheads supervisory techniques.

Contact Information

Francesco Basile, PhD 
Universit€ degli Studi di Salerno 
Dipartimento di Ingegneria Elettronica ed Ingegneria Informatica    
Via Ponte don Melillo, 1
84084 Fisciano (SA) 
ITALY              

Phone:  +39-089-96-4400
Fax:    +39-06-233 227 957 
E-mail: fbasile@unisa.it

Other Remarks

The new version of the tool supports Htbrid Petri Nets.

The maintainers of this page