In my thesis I have generated a rechability graph from a Petri net model and now I need to generate a Control flow graph from the Rechability graph. But i am not finding any direct method to do this.Can anyone help me with this please or give me any suggession??
Aucun commentaire:
Enregistrer un commentaire