Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,589,721,806 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Petri net

   Also found in: Acronyms, Wikipedia 0.03 sec.
Petri net [′pē·trē ‚net]
(communications)
An abstract, formal model of information flow, which is used as a graphical language for modeling systems with interacting concurrent components; in mathematical terms, a structure with four parts or components: a finite set of places, a finite set of transitions, an input function, and an output function.
(parallel, simulation)Petri net - A directed, bipartite graph in which nodes are either "places" (represented by circles) or "transitions" (represented by rectangles), invented by Carl Adam Petri. A Petri net is marked by placing "tokens" on places. When all the places with arcs to a transition (its input places) have a token, the transition "fires", removing a token from each input place and adding a token to each place pointed to by the transition (its output places).

Petri nets are used to model concurrent systems, particularly network protocols.

Variants on the basic idea include the coloured Petri Net, Time Petri Net, Timed Petri Net, Stochastic Petri Net, and Predicate Transition Net.

FAQ.
How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link 		Feedback
Mentioned in?  References in periodicals archive?   Encyclopedia browser?   Full browser?
No references found
 
Other topics covered include time-arc Petri nets, variants of the language based synthesis problem for Petri nets, trading off concurrency to generate behavioral adapters, model checking Verilog descriptions of cell libraries, and specific enforcing refinement for convertibility verification.
Application of concurrency to system design (ACSD 2009); proccedings by SciTech Book News
Hiraishi proposed a method for constructing a Petri net from a set of firing sequences [27].
A Petri-net approach to refining object behavioural specifications by Cheung, King-Sing; Chow, Paul Kai-On / Informatica
Petri nets, artificial intelligence, and artificial neural networks compete for attention, but fuzzy set theory is clearly the winner.
Team Effectiveness and Decision Making in Organizations by Doak, Leslie A. / Government Finance Review
 
 
 
Encyclopedia
?

Terms of Use | Privacy policy | Feedback | Copyright © 2012 Farlex, Inc.
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.