Efficient Unfolding of Contextual Petri Nets


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:

    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}

See www.sciencedirect.com ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group