Owen Stephens

发表

Compositional Reachability in Petri Nets

Julian Rathke, Pawel Sobocinski, Owen Stephens, 2014, RP.

Compositional specification and reachability checking of net systems

Owen Stephens, O. Stephens, 2015 .

Mashups and open data in libraries

Owen Stephens, 2011 .

The X Factor -- The Aleph X Server: What It Does and How To Use It

Owen Stephens, 2004 .

Extended Abstract: Big Bend Field: Gulf of Mexico Success, from Prospect to Production through Geoscience Integration

Owen Stephens, 2016 .

Decomposing Petri nets pdf

Julian Rathke, Pawel Sobocinski, Owen Stephens, 2013, ArXiv.

A Programming Language for Spatial Distribution of Net Systems

Pawel Sobocinski, Owen Stephens, P. Sobocinski, 2014, Petri Nets.

Penrose: Putting Compositionality to Work for Petri Net Reachability

Pawel Sobocinski, Owen Stephens, 2013, CALCO.

Reachability via Compositionality in Petri nets pdf

Pawel Sobocinski, Owen Stephens, 2013, ArXiv.