| Tartalmi leírás: |
Petri nets are graphical and mathematical modeling tools applicable to many systems.
They are promising tools for describing and studying information processing systems that
are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic,
and/or stochastic.
However, in many applications modeling by itself is of limited practical use if one cannot
analyze the modeled system. As means of gaining a better understanding of the Petri
net model, the decidability and computational complexity of typical automata theoretic
problems concerning Petri nets have been extensively investigated in the past four decades.
|
