{"id":666,"date":"2013-05-15T14:41:50","date_gmt":"2013-05-15T13:41:50","guid":{"rendered":"http:\/\/it4bus.vn\/itersdesktop\/?p=666"},"modified":"2013-12-02T17:55:51","modified_gmt":"2013-12-02T16:55:51","slug":"introduction-of-petri-net","status":"publish","type":"post","link":"https:\/\/www.itersdesktop.com\/vi\/2013\/05\/15\/introduction-of-petri-net\/","title":{"rendered":"Introduction of Petri Net"},"content":{"rendered":"<p>B\u00e0i n\u00e0y gi\u1edbi thi\u1ec7u chung v\u1ec1 Petri nets.<\/p>\n<p>\u0110\u00f3 l\u00e0 m\u1ed9t lo\u1ea1i \u0111\u1ed3 th\u1ecb c\u00f3 h\u01b0\u1edbng \u0111\u1eb7c bi\u1ec7t g\u1ed3m 6 th\u00e0nh ph\u1ea7n c\u1ea5u t\u1ea1o.<\/p>\n<p>P: set of places<\/p>\n<p>T: set of transitions<\/p>\n<p>F: set of arcs<\/p>\n<p>W: weight function<\/p>\n<p>M_o: Initial Marking<\/p>\n<p>K: place capacities<\/p>\n<p>&nbsp;<\/p>\n<p>Petri net is completely described by the incidence matrix C.<\/p>\n<p>C = Card(P) x Card(T)<\/p>\n<p>Incidence matrix corresponds to stoichiometry matrix.<\/p>\n<p>How to draw Petri nets:\u00a0<a href=\"http:\/\/thegarywilson.com\/blog\/2011\/drawing-petri-nets\/\">http:\/\/thegarywilson.com\/blog\/2011\/drawing-petri-nets\/<\/a><\/p>\n<p><a href=\"http:\/\/projects.laas.fr\/tina\/\">http:\/\/projects.laas.fr\/tina\/<\/a><\/p>\n<p><a href=\"http:\/\/www.texample.net\/tikz\/examples\/feature\/automata-and-petri-nets\/\">http:\/\/www.texample.net\/tikz\/examples\/feature\/automata-and-petri-nets\/<\/a><\/p>\n<p><a href=\"http:\/\/isaias-garza.blogspot.fr\/2012\/05\/software-for-createdrawsimulate-petri.html\">http:\/\/isaias-garza.blogspot.fr\/2012\/05\/software-for-createdrawsimulate-petri.html<\/a><\/p>\n<p>Tham khao:<\/p>\n<p><a href=\"http:\/\/www.informatik.uni-trier.de\/~ley\/pers\/hd\/k\/Koch:Ina.html\">http:\/\/www.informatik.uni-trier.de\/~ley\/pers\/hd\/k\/Koch:Ina.html<\/a><\/p>\n<p><a href=\"http:\/\/owww.molgen.mpg.de\/~koch_i\/publications_pr\/index.html\">http:\/\/owww.molgen.mpg.de\/~koch_i\/publications_pr\/index.html<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>B\u00e0i n\u00e0y gi\u1edbi thi\u1ec7u chung v\u1ec1 Petri nets. \u0110\u00f3 l\u00e0 m\u1ed9t lo\u1ea1i \u0111\u1ed3 th\u1ecb c\u00f3 h\u01b0\u1edbng \u0111\u1eb7c bi\u1ec7t g\u1ed3m 6 th\u00e0nh ph\u1ea7n c\u1ea5u t\u1ea1o. P: set of places T: set&hellip; <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[331],"tags":[332,64,333,327],"class_list":["post-666","post","type-post","status-publish","format-standard","hentry","category-theoretical-computer-science","tag-graph","tag-graph-theory","tag-network","tag-petri-net"],"_links":{"self":[{"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/posts\/666","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/comments?post=666"}],"version-history":[{"count":8,"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/posts\/666\/revisions"}],"predecessor-version":[{"id":668,"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/posts\/666\/revisions\/668"}],"wp:attachment":[{"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/media?parent=666"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/categories?post=666"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.itersdesktop.com\/vi\/wp-json\/wp\/v2\/tags?post=666"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}