## Relabel supervisors as plants

This CIF to CIF transformation relabels supervisors as plants.

### Supported specifications

This transformation supports all CIF specifications.

### Preprocessing

n/a

### Implementation details

This CIF to CIF transformation relabels:

- Supervisor automaton definitions as plant automaton definitions.

- Supervisor automata as plant automata.

- Supervisor invariants as plant invariants.

For instance, consider the following partial CIF specification:

    supervisor button:
      location off:
        initial;
        marked;
        edge u_on goto on;
      location on:
        edge u_off goto off;
    end

    supervisor invariant actuator.c_on needs button.pushed;

It gets transformed to:

    plant button:
      location off:
        initial;
        marked;
        edge u_on goto on;
      location on:
        edge u_off goto off;
    end

    plant invariant actuator.c_on needs button.pushed;

### Renaming

n/a

### Size considerations

Automata and invariants may get a different supervisory kind. This does not change the size of the specification.

### Optimality

n/a

### Annotations

This transformation does not process, add, or remove any annotations.