Representations of Petri net interactions

Sobocinski, Pawel (2010) Representations of Petri net interactions. In, CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, Paris, FR, 31 Aug - 03 Sep 2010. , 554-568. (doi:10.1007/978-3-642-15375-4_38).


[img] PDF - Accepted Manuscript
Restricted to Registered users only

Download (622Kb) | Request a copy


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.

Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1007/978-3-642-15375-4_38
ISBNs: 9783642153747 (hardback)
9783642153754 (electronic)
Related URLs:
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 271272
Accepted Date and Publication Date:
August 2010Published
Date Deposited: 17 Jun 2010 16:07
Last Modified: 31 Mar 2016 14:18
Further Information:Google Scholar

Actions (login required)

View Item View Item

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