University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Groups of symmetries on concurrent systems.

West, Samantha. (2002) Groups of symmetries on concurrent systems. Doctoral thesis, University of Surrey (United Kingdom)..

[img]
Preview
Text
10148645.pdf
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (3MB) | Preview

Abstract

A well known problem when reasoning about concurrent systems is that of state explosion. One of the strategies that has been proposed to alleviate this problem is to make use of the symmetries which a concurrent system may exhibit to construct a symmetry-reduced model that reflects the behaviour of the system. The main contribution of this thesis is an investigation into the theoretical foundations of the method by considering symmetries in the context of category theory. It seems natural to do so since the morphisms that characterise each category may be thought of as a kind of simulation of behaviour. A new category of language systems is presented, together with several subcategories. Morphisms in this category are defined to preserve structure. The notion of a symmetry of a language system is defined and the quotient structure of the language system is given. The important question of behaviour preservation between the system and its symmetry-reduced model is generalised to the notion of morphism in the category. The conditions required on the morphism to ensure that it preserves behaviour are identified. These results are extended to the projection morphism that define the symmetry-reduced model by constructing a split morphism. Two specific behaviours, namely absence of deadlock and extensibility, are considered. The second contribution of this thesis is to establish a categorical relationship between the language system model and elementary nets. A vector language semantics for elementary nets is given. Functors between these categories are defined and the existence of an adjunction is proved.

Item Type: Thesis (Doctoral)
Divisions : Theses
Authors :
NameEmailORCID
West, Samantha.
Date : 2002
Contributors :
ContributionNameEmailORCID
http://www.loc.gov/loc.terms/relators/THS
Depositing User : EPrints Services
Date Deposited : 09 Nov 2017 12:17
Last Modified : 20 Jun 2018 11:25
URI: http://epubs.surrey.ac.uk/id/eprint/844163

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800