Accueil / Informatique / 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

 

À propos 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.

Laisser une réponse

Votre adresse email ne sera pas publiéeLes champs requis sont surlignés *

*

*

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.