Name

parelm — Elimination of inert process parameters and not occurring sum variables

Synopsis

parelm [-help] [-help-all] [-version] [Data Options] [input.tbf]

Description

This filter reads from input.tbf (or stdin if not given) an LPE in .tbf format. It removes process parameters and not occurring sum variables. The output LPE is stronly bisimilar to the input LPE.

It does the following steps:

  • Select the process parameters which occur in the conditions and the action arguments of the LPE

  • Add to that selection all these process parameters on which all in the previous step selected process parameters depend

  • Remove all these parameters which are not selected

  • Remove in each summand the process arguments belonging to the removed parameters

  • Remove in each summand all these sum variables which occur neither in the condition, nor in the action arguments, nor in the state vector

It writes the LPE to stdout.

Options

-help

Display help information

-help-all

Display all help information

-version

Get the version number of this release

Last update

16 December 2008 by Bert Lisser