Petri Net

PetriNetSample.dot

digraph PetriNet {
	graph [bgcolor=white label="PetriNet Sample" labeljust=l labelloc=t nodesep=0.5 penwidth=0 rankdir=LR ranksep=0.5 style=filled]
	subgraph cluster_net {
		graph [bgcolor=white label="PCB Etching Process" labeljust=c labelloc=b penwidth=0 style=filled]
		subgraph cluster_pageTop {
			graph [bgcolor=white label="PCB Etching Phase" labeljust=c labelloc=b penwidth=1 style=filled]
			subgraph cluster_placeCu {
				graph [bgcolor=white label="Copper Layer" labeljust=c labelloc=t penwidth=0]
				node [color=black fillcolor=white height=1 shape=circle style="solid, filled" width=1]
				placeCu [label=1]
			}
			subgraph cluster_placeFeCl3 {
				graph [bgcolor=white label="Iron(III) chloride" labeljust=c labelloc=b penwidth=0]
				node [color=black fillcolor=white height=1 shape=circle style="solid, filled" width=1]
				placeFeCl3 [label=2]
			}
			subgraph cluster_placeCuCl2 {
				graph [bgcolor=white label="Copper(II) chloride" labeljust=c labelloc=t penwidth=0]
				node [color=black fillcolor=white height=1 shape=circle style="solid, filled" width=1]
				placeCuCl2 [label=""]
			}
			subgraph cluster_placeFeCl2 {
				graph [bgcolor=white label="Iron(II) chloride" labeljust=c labelloc=b penwidth=0]
				node [color=black fillcolor=white height=1 shape=circle style="solid, filled" width=1]
				placeFeCl2 [label=""]
			}
			subgraph cluster_transitionReaction {
				graph [bgcolor=white label="Etching Reaction" labeljust=c labelloc=b penwidth=0]
				node [color=black fillcolor=white height=1 shape=box style="solid, filled" width=0.1]
				transitionReaction [label=""]
			}
				placeCu -> placeFeCl3 [constraint=false style=invis]
				placeCuCl2 -> placeFeCl2 [constraint=false style=invis]
				placeCu -> placeCuCl2 [constraint=true style=invis]
				placeFeCl3 -> placeFeCl2 [constraint=true style=invis]
				placeCu -> transitionReaction [label=1]
				placeFeCl3 -> transitionReaction [label=2]
				transitionReaction -> placeCuCl2 [label=1]
				transitionReaction -> placeFeCl2 [label=2]
		}
	}
}