CLASS Petri Nets Place
Highlights/Dependencies |
---|
|
GraphRep Code |
---|
GRAPHREP PEN w:0.05cm FILL color:limegreen ELLIPSE 3 x1:-.7cm rx:.7cm ry:.7cm ATTR "Name" y:.8cm w:c:2.8cm h:t AVAL no:"NumOfTokens" IF ( no = "0" ) FILL color:limegreen ELLIPSE 4 x1:-.7cm rx:.7cm ry:.7cm ELSIF ( no = "1") FILL color:black ELLIPSE x:0cm rx:.15cm ry:.15cm ELSIF ( no = "2") FILL color:black ELLIPSE x:-.2cm rx:.15cm ry:.15cm ELLIPSE x:.2cm rx:.15cm ry:.15cm ELSIF ( no = "3") FILL color:black ELLIPSE x:-.2cm y:-.1cm rx:.15cm ry:.15cm ELLIPSE x:.2cm y:-.1cm rx:.15cm ry:.15cm ELLIPSE y:.3cm rx:.15cm ry:.15cm ELSIF ( no = "4") FILL color:black ELLIPSE x:-.27cm y:0cm rx:.15cm ry:.15cm ELLIPSE x:.27cm y:0cm rx:.15cm ry:.15cm ELLIPSE y:.3cm rx:.15cm ry:.15cm ELLIPSE y:-.3cm rx:.15cm ry:.15cm ELSIF ( no = "5") FILL color:black ELLIPSE x:-.34cm y:0cm rx:.15cm ry:.15cm ELLIPSE x:.34cm y:0cm rx:.15cm ry:.15cm ELLIPSE y:.34cm rx:.15cm ry:.15cm ELLIPSE y:-.34cm rx:.15cm ry:.15cm ELLIPSE x:0cm y:0cm rx:.15cm ry:.15cm ELSE ATTR "NumOfTokens" y:-.2cm w:c:2.8 cm h:t ENDIF
|
Graphical Representation |
---|
|
Instance examples from Modelling Toolkit |
---|
|
and corresponding notebook representations |
|
2299 Views