I.2.7. Max-Plus menu

The Max-Plus menu allows performing the simulation and analysis of an event graph (marked graph) based on its max-plus state-space model. A new MATLAB figure is opened and all the facilities available for max-plus analysis and simulation are accessible (see section Max-Plus Models).

I.2.8. Design menu

The Design menu is used for the synthesis of timed PN models; this allows simulations for several types of parameterizations considered in the PN architecture (see section Design).