@incollection{RathkeSobocinsiOwen:RP:2014,
    Author = {Rathke, Julian and Soboci{\'n}ski, Pawe{\l} and Stephens, Owen},
    BookTitle = {Proc. of RP'14},
    Editor = {Ouaknine, Jo{\"e}l and Potapov, Igor and Worrell, James},
    File = {Compositional Reachability in Petri Nets - Rathke, Sobociński, Stephens (0) (0) - a - a - l.pdf},
    ISBN = {978-3-319-11438-5},
    Language = {English},
    Pages = {230--243},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {Compositional Reachability in Petri Nets},
    URL = {http://dx.doi.org/10.1007/978-3-319-11439-2\_18},
    Volume = {8762},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11439-2\_18},
    date-added = {2015-04-22 11:18:21 +0000},
    date-modified = {2019-03-08 19:46:01 +0100},
    doi = {10.1007/978-3-319-11439-2_18}
}

@incollection{RathkeSobocinsiOwen:RP:2014, Author = {Rathke, Julian and Soboci{\'n}ski, Pawe{\l} and Stephens, Owen}, BookTitle = {Proc. of RP'14}, Editor = {Ouaknine, Jo{\"e}l and Potapov, Igor and Worrell, James}, File = {Compositional Reachability in Petri Nets - Rathke, Sobociński, Stephens (0) (0) - a - a - l.pdf}, ISBN = {978-3-319-11438-5}, Language = {English}, Pages = {230--243}, Publisher = {Springer}, Series = {LNCS}, Title = {Compositional Reachability in Petri Nets}, URL = {http://dx.doi.org/10.1007/978-3-319-11439-2_18}, Volume = {8762}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-11439-2_18}, date-added = {2015-04-22 11:18:21 +0000}, date-modified = {2019-03-08 19:46:01 +0100}, doi = {10.1007/978-3-319-11439-2_18} }