A new method has been developed to identify consistent markings in labelled Petri nets. By dividing unobservable transitions into two groups and focusing on a specific subset, a linear algebraic system can efficiently estimate the current marking in the Petri net. This approach does not rely on the assumption that the unobservable subset is acyclic.