Mohd Anuaruddin Bin Ahmadon

Learn More
A workflow net is a Petri net for modeling and analyzing a workflow. A process tree has been proposed as a representational bias of a workflow net and enabled us to grasp the structure of actions routing such as sequence, choice and parallel in the workflow net. The advantage of process trees enables us to grasp the structure of action routing such as(More)
The state number calculation problem is very important for model checking approach in Petri nets' analysis. It is known that the problem is intractable for general Petri nets. In this paper, we showed that the problem is intractable for a popular subclass of Petri nets, called free choice workflow nets. Then we proposed a polynomial time algorithm to solve(More)
  • 1