Dear friends,
Are there any extensions or versions of alpha algorithm that work without the assumotion of completeness ?
With best regards
Mousavi
Update Joos: moved to correct category and removed 'announcement' status
Dear Joos Buijs,
you are right .
Thanks
Dear Joos Buijs,
You are right .
Thanks alot
relation is maximal. It is not required that all possible traces be present (which would be countably infinite for a net with a loop).It looks like you're new here. If you want to get involved, click one of these buttons!