The University of Southampton
University of Southampton Institutional Repository

Processes and unfoldings: concurrent computations in adhesive categories

Processes and unfoldings: concurrent computations in adhesive categories
Processes and unfoldings: concurrent computations in adhesive categories
We generalise both the notion of non-sequential process and the unfolding construction (previously developed for concrete formalisms such as Petri nets and graph grammars) to the abstract setting of (single pushout) rewriting of objects in adhesive categories. The main results show that processes are in one-to-one correspondence with switch-equivalent classes of derivations, and that the unfolding construction can be characterised as a coreflection, i.e., the unfolding functor arises as the right adjoint to the embedding of the category of occurrence grammars into the category of grammars. As the unfolding represents potentially infinite computations, we need to work in adhesive categories with "well-behaved" colimits of omega-chains of monos. Compared to previous work on the unfolding of Petri nets and graph grammars, our results apply to a wider class of systems, which is due to the use of a refined notion of grammar morphism.
1-40
Paolo, Baldan
524c3406-f5fa-4377-a1fb-41b95d056bef
Andrea, Corradini
fb56b628-ccad-48e7-9b33-8ed7b8c5eba1
Tobias, Heindel
fda2188c-0a9e-4dbd-ab71-16fccf4fbbb4
Barbara, Koenig
aeac22ac-7b87-45c5-891a-c618ee400254
Pawel, Sobocinski
439334ab-2826-447b-9fe5-3928be3fd4fd
Paolo, Baldan
524c3406-f5fa-4377-a1fb-41b95d056bef
Andrea, Corradini
fb56b628-ccad-48e7-9b33-8ed7b8c5eba1
Tobias, Heindel
fda2188c-0a9e-4dbd-ab71-16fccf4fbbb4
Barbara, Koenig
aeac22ac-7b87-45c5-891a-c618ee400254
Pawel, Sobocinski
439334ab-2826-447b-9fe5-3928be3fd4fd

Paolo, Baldan, Andrea, Corradini, Tobias, Heindel, Barbara, Koenig and Pawel, Sobocinski (2012) Processes and unfoldings: concurrent computations in adhesive categories. Mathematical Structures in Computer Science, 1-40.

Record type: Article

Abstract

We generalise both the notion of non-sequential process and the unfolding construction (previously developed for concrete formalisms such as Petri nets and graph grammars) to the abstract setting of (single pushout) rewriting of objects in adhesive categories. The main results show that processes are in one-to-one correspondence with switch-equivalent classes of derivations, and that the unfolding construction can be characterised as a coreflection, i.e., the unfolding functor arises as the right adjoint to the embedding of the category of occurrence grammars into the category of grammars. As the unfolding represents potentially infinite computations, we need to work in adhesive categories with "well-behaved" colimits of omega-chains of monos. Compared to previous work on the unfolding of Petri nets and graph grammars, our results apply to a wider class of systems, which is due to the use of a refined notion of grammar morphism.

This record has no associated files available for download.

More information

Accepted/In Press date: January 2012
Published date: 2012
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 339066
URI: http://eprints.soton.ac.uk/id/eprint/339066
PURE UUID: 6dc2e699-b7ac-406b-bca0-1f341a943daf

Catalogue record

Date deposited: 22 May 2012 09:32
Last modified: 11 Dec 2021 00:24

Export record

Contributors

Author: Baldan Paolo
Author: Corradini Andrea
Author: Heindel Tobias
Author: Koenig Barbara
Author: Sobocinski Pawel

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×