| Summary: | 碩士 === 國立臺灣科技大學 === 工程技術研究所 === 81 === Recently, Petri nets is an important and popular tool for
system modeling . In this thesis, the consistency problems of
the systems modeled by Petri nets will be disscussed . First,
the structure and properties of Petri nets and some modeling
examples are described. Then, for systems modeled by Petri nets
graph , four kinds of structural anomaly, including dead-end
nodes, unreachable nodes, looping, and conflict are explored.
Finally, for time-dependent systems modeled by timed Petri nets
, there are two problems discussed : the problem of over- flow
and the problem of timing consistence between refinement level
and abstraction level. Some inspection algorithms for detecting
the above problems are proposed in this paper. By these
algorithms ,the analyst can detect the system errors as early
as possible, which can reduce the cost of system development
and imporve the system performance.
|
|---|
