@article{Finkel_2004,
    doi = {10.1016/j.ic.2004.01.005},
    url = {https://doi.org/10.1016%2Fj.ic.2004.01.005},
    year = {2004},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {195},
    number = {1-2},
    pages = {1--29},
    author = {Alain Finkel and Pierre McKenzie and Claudine Picaronny},
    title = {A well-structured framework for analysing petri net extensions},
    journal = {Information and Computation}
}

@article{Finkel_2004, doi = {10.1016/j.ic.2004.01.005}, url = {https://doi.org/10.1016%2Fj.ic.2004.01.005}, year = {2004}, month = {nov}, publisher = {Elsevier {BV}}, volume = {195}, number = {1-2}, pages = {1--29}, author = {Alain Finkel and Pierre McKenzie and Claudine Picaronny}, title = {A well-structured framework for analysing petri net extensions}, journal = {Information and Computation} }