Petri-Net

As a tool for Software System Modeling, Petri-Net has

    1. Allowing the modeling of concurrency, sychronization and resource sharing behavior of a system.

    2. 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.

    1. It's not easy for developers to draw a Petri-Net, especially for complex systems. 

    2. Having difficulty to model objects and relation between objects.