Record type:
Conference or Workshop Item
(Paper)
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.
Citation
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. (doi:10.1007/978-3-642-15375-4_38).
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: 18 Jul 2017 06:45
Export record
Altmetrics
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.