@inbook{Sobocinski2013,
    Address = {Berlin, Heidelberg},
    Author = {Soboci{\'{n}}ski, Pawe{\l} and Stephens, Owen},
    BookTitle = {Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
    Editor = {Heckel, Reiko and Milius, Stefan},
    File = {calco13 (0) - a - a - w.pdf},
    ISBN = {978-3-642-40206-7},
    Pages = {346--352},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Penrose: Putting Compositionality to Work for Petri Net Reachability},
    URL = {http://dx.doi.org/10.1007/978-3-642-40206-7\_29},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40206-7\_29},
    date-added = {2017-03-10 10:41:58 +0000},
    date-modified = {2017-03-10 10:41:58 +0000},
    file-2 = {calco13 (0) (0) - a - a - w.skim},
    doi = {10.1007/978-3-642-40206-7_29}
}

@inbook{Sobocinski2013, Address = {Berlin, Heidelberg}, Author = {Soboci{\'{n}}ski, Pawe{\l} and Stephens, Owen}, BookTitle = {Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings}, Editor = {Heckel, Reiko and Milius, Stefan}, File = {calco13 (0) - a - a - w.pdf}, ISBN = {978-3-642-40206-7}, Pages = {346--352}, Publisher = {Springer Berlin Heidelberg}, Title = {Penrose: Putting Compositionality to Work for Petri Net Reachability}, URL = {http://dx.doi.org/10.1007/978-3-642-40206-7_29}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40206-7_29}, date-added = {2017-03-10 10:41:58 +0000}, date-modified = {2017-03-10 10:41:58 +0000}, file-2 = {calco13 (0) (0) - a - a - w.skim}, doi = {10.1007/978-3-642-40206-7_29} }