## ModelicaAdditions.PetriNets.Interfaces

## ModelicaAdditions.PetriNets.Interfaces.FirePortOut

FirePort with output icon

### Modelica definition

    connector FirePortOut "FirePort with output icon"
      extends FirePort;
    end FirePortOut;

## ModelicaAdditions.PetriNets.Interfaces.SetPortIn

SetPort with input icon

### Modelica definition

    connector SetPortIn "SetPort with input icon"
      extends SetPort;
    end SetPortIn;

## ModelicaAdditions.PetriNets.Interfaces.FirePortIn

FirePort with input icon

### Modelica definition

    connector FirePortIn "FirePort with input icon"
      extends FirePort;
    end FirePortIn;

## ModelicaAdditions.PetriNets.Interfaces.SetPortOut

SetPort with output icon

### Modelica definition

    connector SetPortOut "SetPort with output icon"
      extends SetPort;
    end SetPortOut;

## ModelicaAdditions.PetriNets.Interfaces.FirePort

### Modelica definition

    connector FirePort
      Boolean state "State of connected place";
      Boolean fire "True, if transition fires";
    end FirePort;

## ModelicaAdditions.PetriNets.Interfaces.SetPort

### Modelica definition

    connector SetPort
      Boolean state "State of connected place";
      Boolean set "True, if transition fires";
    end SetPort;