Home / Computer Science / Theoretical Computer Science / Introduction of Petri Net

Introduction of Petri Net

Print Friendly, PDF & Email

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://projects.laas.fr/tina/

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

 

comments

About Admin

programming all time and taking a bread for the lunch hahaha… When you are engaging your work, nobody can attract you doing another thing. Otherwise, should should move to other jobs or are not interested in your job enough.