Arwa Ahmed 萨丽

3 Questions 3 Answers 0 Followers

Questions related from Arwa Ahmed 萨丽

What is the formula of the ASK-CTL query for the hierarchical Petri Net model?

I am trying to check whether this predicate holds within a hierarchical Petri Net model, but I got an error shown in the picture. The predicate: fun start n = (Mark.coin'sender 1 n=...

16 November 2021 8,960 0 View

Is there any method or application for creating an automatic classification?

I have a big hierarchical classification, and I want to create an automatic classification based on questions or choices then make it online. Is there an application or method I can use?

26 October 2021 321 17 View

What does it mean when a SS (state space) and SCC (strongly connected component) graph of hierarchical coloured Petri net model has just one node?

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

18 September 2021 3,726 1 View