PetriNets.Interfaces

PetriNets.Interfaces.FirePort PetriNets.Interfaces.SetPort PetriNets.Interfaces.FirePortIn PetriNets.Interfaces.SetPortIn PetriNets.Interfaces.FirePortOut PetriNets.Interfaces.SetPortOut


PetriNets.Interfaces.FirePortOut PetriNets.Interfaces.FirePortOut

FirePort with output icon

PetriNets.Interfaces.FirePortOut

Modelica definition

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

PetriNets.Interfaces.SetPortIn PetriNets.Interfaces.SetPortIn

SetPort with input icon

PetriNets.Interfaces.SetPortIn

Modelica definition

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

PetriNets.Interfaces.FirePortIn PetriNets.Interfaces.FirePortIn

FirePort with input icon

PetriNets.Interfaces.FirePortIn

Modelica definition

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

PetriNets.Interfaces.SetPortOut PetriNets.Interfaces.SetPortOut

SetPort with output icon

PetriNets.Interfaces.SetPortOut

Modelica definition

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

PetriNets.Interfaces.FirePort PetriNets.Interfaces.FirePort

PetriNets.Interfaces.FirePort

Modelica definition

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

PetriNets.Interfaces.SetPort PetriNets.Interfaces.SetPort

PetriNets.Interfaces.SetPort

Modelica definition

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

HTML-documentation generated by Dymola Tue Apr 30 22:43:06 2002 .