ABSTRACT

On the other hand, under their policy, all legal markings are needed to check again and again until all critical markings are vanished. This is time consuming since all legal markings are needed to check in each iterative step.