Bài này giới thiệu chung về Petri nets.
Đó là một loại đồ thị có hướng đặc biệt gồm 6 thành phần cấu tạo.
P: set of places
T: set of transitions
F: set of arcs
W: weight function
M_o: Initial Marking
K: place capacities
Petri net is completely described by the incidence matrix C.
C = Card(P) x Card(T)
Incidence matrix corresponds to stoichiometry matrix.
How to draw Petri nets: http://thegarywilson.com/blog/2011/drawing-petri-nets/
http://www.texample.net/tikz/examples/feature/automata-and-petri-nets/
http://isaias-garza.blogspot.fr/2012/05/software-for-createdrawsimulate-petri.html
Tham khao:
http://www.informatik.uni-trier.de/~ley/pers/hd/k/Koch:Ina.html
http://owww.molgen.mpg.de/~koch_i/publications_pr/index.html