@=~
~p typesetter = texinfo
~p maximum_input_line_length = infinity

~O~<PetriNet.view1.sl~>~{

SYMBOL PetriNet INHERITS VP_Set, VP_RelationAreaDD
COMPUTE
  THIS.VP_OptFrameStyle = "-fill {} -outline {}";
  THIS.VP_OptBorderDimensions = 5;
  THIS.VP_OptDistanceMin      = 5;
  THIS.VP_OptContainerKind    = 2;
  THIS.VP_OptConstraintKind   = 0;  /* Keine Ueberlappung pruefen */
END;

SYMBOL _List_NetElem INHERITS VP_ListContext
COMPUTE
END;

SYMBOL NetElem INHERITS VP_MovableContext
COMPUTE
END;

SYMBOL State INHERITS VP_Movable, VP_Terminal, VP_EndPointDD
COMPUTE
  THIS.VP_OptSize     = VisIntVector(40,40);
  THIS.VP_OptFigure   = "oval";
  THIS.VP_OptKind     = 2;
  THIS.VP_OptToTheEnd = 0;
END;

SYMBOL Transition INHERITS VP_Movable, VP_Terminal, VP_EndPointDD
COMPUTE
  THIS.VP_OptSize     = VisIntVector(12,42);
  THIS.VP_OptFigure   = "rectangle";
  THIS.VP_OptFigureStyle = "-fill black -outline white -width 2";
  THIS.VP_OptToTheEnd = 0;
END;

SYMBOL Comment INHERITS VP_Movable, VP_TextTerminal
COMPUTE
  THIS.VP_OptText = THIS.text; 
  THIS.VP_OptTextAttr = "text";
END;

SYMBOL _List_Connection INHERITS VP_ListSimpleRelations
COMPUTE
  THIS.VP_OptDD=1;
  THIS.VP_OptRelationLabelNodeName = VLLIST1("ConnectionLabel");
END;

SYMBOL Connection INHERITS VP_RelationTypeDirect
COMPUTE
  THIS.VP_OptArrowType= "-arrow last";
END;

SYMBOL ConnectionLabel INHERITS VP_RelationLabel
COMPUTE
  THIS.VP_OptDefault  = "1";
  THIS.VP_OptText     = VLCharPtr(VLConstCharPtr(THIS.persName));
  THIS.VP_OptTextAttr = "persName";
END;


~}