Transition_in

connector Transition_in "Input port of a transition"
    input Boolean available "true, if step connected to the transition input is active"
        annotation (HideResult = true);
    output Boolean reset "true, if transition fires and the step connected to the transition input is deactivated"
        annotation (HideResult = true);

    annotation (
        Icon(
            coordinateSystem(
                preserveAspectRatio = true,
                extent = {
                    {-100, -100}, 
                    {100, 100}}),
            graphics = {
                Polygon(
                    points = {
                        {-100, 100}, 
                        {100, 0}, 
                        {-100, -100}, 
                        {-100, 100}},
                    fillPattern = FillPattern.Solid)}),
        Diagram(
            coordinateSystem(
                preserveAspectRatio = true,
                extent = {
                    {-100, -100}, 
                    {100, 100}}),
            graphics = {
                Polygon(
                    points = {
                        {0, 50}, 
                        {100, 0}, 
                        {0, -50}, 
                        {0, 50}},
                    fillPattern = FillPattern.Solid), 
                Text(
                    extent = {
                        {-141, 100}, 
                        {100, 60}},
                    textString = "%name")}));
end Transition_in;