XpetreX
Petrex is a Petri nets-based set of software tools we developed for a number of
applications, from the real-time simulation of complex systems such as industrial plants
to multimedia and music composition and real-time performance.
XpetreX means Unix-X-Windows PETRi Net EXecutor. The software
toolbox includes a development environment (a visual browser and editor), a run-time
environment, modules for the analysis of Petri nets, and an efficient real-time simulator.
The PN model includes various extensions like transition enabling functions, transition
statements and place data structures, inhibitor arcs, sub-net hierarchies. Type-checking
mechanisms are supported during the design of a net to correctly add/edit subnet
instances, to verify the I/O consistency of the subnet instanced in the net. A pragmatic
"analysis by synthesis" method based on the flexible and effective
executor-simulator is also provided.
The PN models supported by the system are described in several papers and in the on-line
documentation here enclosed.
FMS-PTX is an industrial application of XpetreX, a system for the
modeling, real-time simulation and testing of systems, based on a language of the family
of high-level Petri nets.
Such application consists of the accurate testing of the control logics resident on a
basic automation system. This system application was developed in collaboration with Italimpianti.
You can see
the on-line help of Xpetrex for Linux.
Further information:
A version of the system is also available for Win32.
Authors:
Back to previous page
|