REQUIREMENTS ENGINEERING
REQUIREMENTS GATHERING AND ANALYSIS
|
Question
[CLICK ON ANY CHOICE TO KNOW THE RIGHT ANSWER]
|
A Petri net is a tuple C =?
|
|
(P, T, I, O)
|
|
|
(P, T, O)
|
|
|
(P, I, O)
|
|
|
(P, T, I)
|
Explanation:
Detailed explanation-1: -Definition. A Petri Net is a graph model for the control behavior of systems exhibiting concurrency in their operation. The graph is bipartite, the two node types being places drawn as circles, and transitions drawn as bars. The arcs of the graph are directed and run from places to transitions or vice versa.
Detailed explanation-2: -The structural properties of a Petri net include liveness, boundedness, conservativeness, repetitivity, consistency and controllability properties. Liveness and boundedness. In the previous section, we have studied liveness and boundedness as behavioral properties of Petri nets.
There is 1 question to complete.