Representations of Petri net interactions
Representations of Petri net interactions
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.
978-3-642-15374-7
554-568
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
August 2010
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Sobocinski, Pawel
(2010)
Representations of Petri net interactions.
At CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory
CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, France.
31 Aug - 03 Sep 2010.
.
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
Request a copy
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: https://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