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.
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
Related URLs:
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.