SearchMap > Petri Net Wikipedia, The Free Encyclopedia*
* Generated for http://en.wikipedia.org/wiki/Petri_net
User Comments
Annotated link http://www.diigo.com/bookmark/http%3A%2F%2Fen.wikipedia.org%2Fwiki%2FPetri_net
A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. discrete events that may occur), places (i.e. conditions), and directed arcs (that describe which places are pre- and/or postconditions for which transitions).