Efficient Unfolding of Contextual Petri Nets
Reference
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodriguez, and Stefan Schwoon. Efficient unfolding of contextual Petri nets. Theoretical Computer Science, 449:2–22, 2012.
Suggested BibTeX entry:
@article{BBCKRS12,
author = {Paolo Baldan and Alessandro Bruni and Andrea Corradini and Barbara K{\"o}nig and C{\'e}sar Rodr{\'\i}guez and Stefan Schwoon},
journal = {Theoretical Computer Science},
pages = {2--22},
title = {Efficient Unfolding of Contextual {P}etri Nets},
volume = {449},
year = {2012}
}
