Petri-Net
As a tool for Software System Modeling, Petri-Net
has
-
Allowing the modeling of concurrency, sychronization and resource
sharing behavior of a system.
-
There are many theoretical results associated with Petri-Nets for
analysis of such issues detection and performance analysis. Example:
DesignCPN tools to simulate Petri-Net.
-
It's not easy for developers to draw a Petri-Net, especially for
complex systems.
-
Having difficulty to model objects and
relation between objects.