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.
CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, Paris, France.
31 Aug - 03 Sep 2010.
.
(doi:10.1007/978-3-642-15375-4_38).
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.
Text
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, Paris, 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: 14 Mar 2024 09:26
Export record
Altmetrics
Contributors
Author:
Pawel Sobocinski
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