Information Technology Reference
In-Depth Information
FIGURE 19.8
A pertri net model for a process model.
19.4.3.1.3 Verification Using Petri Net Tool: Petri Net Analyzer Version 1.0.
This tool uses the process model that is constructed by Petri Net, then a performance
evaluation is performed. Conclusions then are drawn on the feasibility of a process
model verification by Petri Net, as shown in Figure 19.8. Figure 19.8 shows an
example representation of a Petri Net model for a process model using this analyzer
version 1.0:
Figure 19.9 shows the analysis result of a process model that will help in drawing
some conclusions and analysis about a certain process model.
Furthermore, the analysis shows the reachability tree of the Petri Net model result.
The first row shows that the model is bounded, which indicates that there is not
a new token in the changing state of Petri Net, and there is no generation of new
FIGURE 19.9
Analysis result of the process model.
Search WWH ::
Custom Search