@inproceedings(Bonchi2013,
 author       = {Filippo Bonchi and Damien Pous},
 year         = {2013},
 title        = {Checking NFA Equivalence with Bisimulations up to Congruences},
 booktitle    = {PoPL`13},
 doi          = {10.1145/2429069.2429124},
)
@inproceedings(Bonchi2014b,
 author       = {Filippo Bonchi and Pawe{\l} Soboci\'{n}ski and Fabio Zanasi},
 year         = {2014},
 title        = {A Categorical Semantics of Signal Flow Graphs},
 booktitle    = {CONCUR`14},
 series       = {LNCS},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {435--450},
 doi          = {10.1007/978-3-662-44584-6\_30},
)
@inproceedings(Bonchi2015,
 author       = {Filippo Bonchi and Pawe{\l} Soboci\'{n}ski and Fabio Zanasi},
 year         = {2015},
 title        = {Full Abstraction for Signal Flow Graphs},
 booktitle    = {Principles of Programming Languages, POPL`15.},
 doi          = {10.1145/2676726.2676993},
)
@inproceedings(Bruni2011,
 author       = {Roberto Bruni and Hern\'{a}n C. Melgratti and Ugo Montanari},
 year         = {2011},
 title        = {A Connector Algebra for {P/T} Nets Interactions},
 booktitle    = {Concurrency Theory ({CONCUR `11})},
 series       = {LNCS},
 volume       = {6901},
 publisher    = {Springer},
 pages        = {312--326},
 doi          = {10.1007/978-3-642-23217-6\_21},
)
@article(Bruni2013,
 author       = {Roberto Bruni and Hern\'{a}n C. Melgratti and Ugo Montanari and Pawe{\l} Soboci\'{n}ski},
 year         = {2013},
 title        = {Connector Algebras for {C/E} and {P/T} Nets' Interactions},
 journal      = {Log.\ Meth.\ Comput.\ Sci.},
 volume       = {9},
 number       = {3},
 doi          = {10.2168/LMCS-9(3:16)2013},
)
@inproceedings(Chantawibul2015,
 author       = {Apiwat Chantawibul and Pawe{\l} Soboci\'{n}ski},
 year         = {2015},
 title        = {Towards Compositional Graph Theory},
 booktitle    = {MFPS XXXI},
 doi          = {10.1016/j.entcs.2015.12.009},
)
@inproceedings(Cheng1993,
 author       = {Allan Cheng and Javier Esparza and Jens Palsberg},
 year         = {1993},
 title        = {Complexity Results for 1-safe nets},
 booktitle    = {FSTTCS},
 series       = {LNCS},
 volume       = {761},
 pages        = {326--337},
 doi          = {10.1007/3-540-57529-4\_66},
)
@inproceedings(Mayr2013,
 author       = {Richard Mayr and Lorenzo Clemente},
 year         = {2013},
 title        = {Advanced Automata Minimization},
 booktitle    = {PoPL`13},
 doi          = {10.1145/2429069.2429079},
)
@inproceedings(Mazurkiewicz1988,
 author       = {Antoni Mazurkiewicz},
 year         = {1987},
 title        = {Compositional semantics of pure place/transition systems},
 booktitle    = {Advances in Petri nets},
 series       = {LNCS},
 volume       = {340},
 publisher    = {Springer},
 pages        = {307--330},
 doi          = {10.1007/3-540-50580-6\_35},
)
@unpublished(Rathke2013,
 author       = {Julian Rathke and Pawe{\l} Soboci\'{n}ski and Owen Stephens},
 year         = {2013},
 title        = {Decomposing {P}etri nets},
 url          = {http://arxiv.org/abs/1304.3121},
 note         = {ArXiv:1304.3121},
)
@inproceedings(Rathke2014a,
 author       = {Julian Rathke and Pawe{\l} Soboci\'{n}ski and Owen Stephens},
 year         = {2014},
 title        = {Compositional Reachability in Petri Nets},
 booktitle    = {Reachability Problems},
 series       = {LNCS},
 volume       = {8762},
 publisher    = {Springer},
 pages        = {230--243},
 doi          = {10.1007/978-3-319-11439-2\_18},
)
@inproceedings(Sobocinski2010,
 author       = {Pawe{\l} Soboci\'{n}ski},
 year         = {2010},
 title        = {Representations of {P}etri net interactions},
 booktitle    = {Concurrency Theory ({CONCUR~`10})},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {554--568},
 doi          = {10.1007/978-3-642-15375-4\_38},
)
@phdthesis(Stephens2015,
 author       = {Owen Stephens},
 year         = {2015},
 title        = {Compositional Specification and Reachability Checking of Net Systems},
 school       = {ECS, University of Southampton},
)