Abstract
In an attempt to devise a general notion of model for spatial logic, we have been led to consider transition systems with an additional so-called spatial structure on the states, with both the tran- sition and the spatial structures described in coalgebraic terms. In this paper we argue that such transition systems with spatial structure can be seen as a noninterleaving model of concurrency, by providing translations to and from a certain category of Petri nets.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have