Prepare the following exercises for discussion in class on Tuesday, December 13 (though, exercise 2 will be discussed in class on December 8).
[ place/.style=ellipse,draw=black!50,fill=black!20,thick, inner sep=0pt,minimum size=0.5cm, var/.style=circle,draw=black!50,inner sep=0pt,minimum size=1cm, center/.style=coordinate,draw=black!50,fill=black!20,thick, inner sep=0pt,minimum size=0.5cm, pre/.style=<-,shorten <=1pt,>=angle 60,semithick, post/.style=->,shorten >=1pt,>=stealth’,semithick, transition/.style=rectangle,draw=black!100,fill=black!20,thick, inner sep=0pt,minimum size=3mm] [var] (s) at (5,3) Y; [var] (v1) at (0,0) X1 edge [pre] (s); [var] (v2) at (2,0) X2 edge [pre] (s); (5,0) circle (1pt) node[above] ; (5.1,0) circle (1pt) node[above] edge [pre] (s); (5.2,0) circle (1pt) node[above] ; [var] (vn) at (10,0) Xn edge [pre] (s);
[ place/.style=ellipse,draw=black!50,fill=black!20,thick, inner sep=0pt,minimum size=0.5cm, center/.style=coordinate,draw=black!50,fill=black!20,thick, inner sep=0pt,minimum size=0.5cm, pre/.style=<-,shorten <=1pt,>=angle 60,semithick, post/.style=->,shorten >=1pt,>=stealth’,semithick, transition/.style=rectangle,draw=black!100,fill=black!20,thick, inner sep=0pt,minimum size=3mm] [place] (b) at (0,0) ; [place] (r) at (4,0) ; [transition] (a) at (0,1.5) ; [transition] (b) at (0.5,1.5) ; [transition] (c) at (3.5,1.5) ; [transition] (d) at (4,1.5) ; [place] (p3) at (4,3) ; [place] (p4) at (0,3) ; [above=2pt, minimum width=2cm] (A) at (a.base) A; [above=2pt, minimum width=2cm] (B) at (b.base) B; [above=2pt, minimum width=2cm] (C) at (c.base) C; [above=2pt, minimum width=2cm] (D) at (d.base) D; (1.7,1.5) circle (2pt) node[above] C1; (2.3,1.5) circle (2pt) node[above] C2;