WinPetrex
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.
WinPetrex means Win-dows PETRi Net EXecutor. The software
toolbox includes a development environment (a visual browser and editor), a run-time
environment, and an efficient real-time simulator. The PN model include various
extensions:
- Transition Enabling Functions (TEF) are C functions you can associate to
transitions by which you can modify the classical PN firing rule.
- Transition Execution Statements (TES) are C functions you can associate to
transitions; these functions are called each time the transition is fired.
- Place data structures accessible through TEF or TES.
- Object Oriented Subnetting by which you can decompose complex systems design into
more affordable sub-systems.
- Input/Output places: some places of the net can be defined as Input or Output (or
both) places. This mean other processes can read or change the marking of these places.
Also the data structure associated with these places is readable and writable by different
processes.
The PN model supported by the system are described in several papers and in
the on-line documentation here
enclosed. The software has been developed in collaboration with Italimpianti.
A version of the system is also available for Linux
Further information:
Authors:
Back to previous page
|