18 September 2021 1 4K Report

Hi, I have a hierarchical CPN model for a source code program, now I want to separate part of my model then compare it with another model to check the match between them.

The simulation was successfully performed, but when I generated a SS and SCC graph it shows that there is just one node, what is that mean? is that mean there is a mistake in the model?

and how can check the match between the two models automatically?

More Arwa Ahmed 萨丽's questions See All
Similar questions and discussions