Creato da
Share My Page
My Social Accounts
Account FaceBook Account LinkedIn Account Twitter Account Google Plus Account Git Hub

Petri nets allow to describe in detail and states that the activities. In addition it is possible to have a link with the data.
There are different types of networks:
-ordinary, that allow the expression and competitionsynchronization. Modeling and analysis.
-colored patterns that allow you to connect with the data.
-time-dependent, allow to manage the timing (simulation ...)
-operational, allowing you to implement real systems, using ahigh-level language.

Ordinary networks
There are several symbols:
-places (circles).
-transitions (rectangles crushed). A transaction is enabled when all input tokens are enabled. When enabled, if a transaction cantrigger an event occurs and causes the incoming tokens areremoved and they are all filled ii token output.
-priority (arcs) connecting places with transitions.
-tokens (dots) are used to represent the initial state and movements. The total tokens in the network can vary in number.
A Petri net is to be a connected graph, hosts and transitions have names associated.
The set of states is the set of combinations of tokens that can occur in the network.
E 'can have unlimited graph, in case there are cycles. In this casethere are unlimited places. In this case one uses an approximate representation by means of coverability graph. One was strictlycovers another state when all its elements are equal to the statecovered except for those who are more different. In this case it is possible to approximate the value that increases with anunlimited value, reportable with omega.
A Petri net is a 4-tuple (P places, transitions T, arcs, F, Wweight). And 'possible to give weights to the arcs. The weightaffects the number of tokens generated by a transition.

Average (1 Vote)
The average rating is 5.0 stars out of 5.