ModelicaAdditions.PetriNets.Interfaces

ModelicaAdditions.PetriNets.Interfaces.FirePortOut

Modelica definition

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

ModelicaAdditions.PetriNets.Interfaces.SetPortIn

Modelica definition

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

ModelicaAdditions.PetriNets.Interfaces.FirePortIn

Modelica definition

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

ModelicaAdditions.PetriNets.Interfaces.SetPortOut

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;