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

 

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

*

code

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.