The University of Southampton
University of Southampton Institutional Repository

Representations of Petri net interactions

Sobocinski, Pawel (2010) Representations of Petri net interactions At CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, France. 31 Aug - 03 Sep 2010. , pp. 554-568.

Record type: Conference or Workshop Item (Paper)

Abstract

We introduce a novel compositional algebra of Petri nets, as well as a stateful extension of the calculus of connectors. These two formalisms are shown to have the same expressive power.

PDF repPetri.pdf - Accepted Manuscript
Restricted to Registered users only
Download (637kB)

More information

Published date: August 2010
Venue - Dates: CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, France, 2010-08-31 - 2010-09-03
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 271272
URI: http://eprints.soton.ac.uk/id/eprint/271272
ISBN: 978-3-642-15374-7
PURE UUID: 39b74b91-0514-482f-ab8f-dd29fc2bf3e3

Catalogue record

Date deposited: 17 Jun 2010 16:07
Last modified: 01 Oct 2017 00:45

Export record

Contributors

Author: Pawel Sobocinski

University divisions

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.

×