Owen Stephens

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Spatial Distribution

Discrete Event Systems

Top Venues

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Julian Rathke, Pawel Sobocinski, Owen Stephens
Compositional Reachability in Petri Nets. RP (2014)
Pawel Sobocinski, Owen Stephens
A Programming Language for Spatial Distribution of Net Systems. Petri Nets (2014)
Julian Rathke, Pawel Sobocinski, Owen Stephens
Decomposing Petri nets CoRR (2013)
Pawel Sobocinski, Owen Stephens
Reachability via Compositionality in Petri nets CoRR (2013)
Pawel Sobocinski, Owen Stephens
Penrose: Putting Compositionality to Work for Petri Net Reachability. CALCO (2013)