Model Checking Based on Prefixes of Petri Net Unfoldings

Cite this paper

@inproceedings{Khomenko2003ModelCB, title={Model Checking Based on Prefixes of Petri Net Unfoldings}, author={Victor Khomenko}, year={2003} }